Mathematicians grapple with AI breakthroughs as field faces existential crossroads

During the four-yearly International Congress of Mathematicians in Philadelphia, Terence Tao described the current AI surge as a "confusing mess" that threatens mathematical culture. He cited Anthropic's Claude Fable overturning the Jacobian conjecture and a joint Anthropic-OpenAI effort solving a Millennium Prize Problem as examples of AI outpacing human researchers. Fields Medal winner Jacob Tsimerman declared his departure from pure mathematics to join OpenAI's AI-safety team, a move condemned by some colleagues as alarmist.

Opinions ranged from optimism about AI-generated insights to concerns over reduced research jobs and the erosion of traditional proof standards. Prominent voices such as Ravi Vakil, Michael Harris, and Naomi Sweeting voiced both hope and resistance, while younger scholars expressed mixed feelings about AI's impact on career prospects.