> "Math 2.0" will need to decenter the role of raw problem solving and value mathematical progress more holistically - for instance by elevating the role of exposition, but also that of community building and opening up new directions of study

It is interesting that AI is not yet superhuman at exposition, or at least exposition that can be understood by humans. But you haven't updated enough if you don't think that will happen soon. I'd also expect for AI to become superhuman at opening up new directions of study and theory building.

> Many fewer seminars, workshops, collaborations, or other activities are being generated from these results compared to traditional breakthroughs...the mere knowledge that a solution exists "contaminates" efforts by both humans and AI to find alternate routes to the problem that reveal additional insight

This is absurd. The mere knowledge contaminates...give me a break Tao! Of course having a (possible) solution changes how we're thinking about the problem. If that's what you mean by contaminate, fine. But if you're a person who's excited, curious, interested in mathematical knowledge for its own sake these AI results are a treasure trove. New approaches to old problems, some old approaches that we couldn't make work before. Why not whole seminars to take one of these results and dissect them, prompting the AIs to figure out where else we can use them, improving and simplifying, etc.

Look, I get Tao's anxiety. The ground is shifting and it's hard to solve for the equilibrium. How in the world do you write a grant proposal today when the person who will read it reads the headlines and thinks "math" is solved. That's something that the mathematical community will need to figure out over time. And it's possible that there'll less money for math research overall. When the marginal cost goes down, the market equilibrium changes (but don't forget Jevons paradox!). So I get the anxiety. I just expected better from some of the top people of the field.