An Existential Crisis in Math

In late July, renowned mathematician Terence Tao warned of a "turbulent period" for his field as AI grows increasingly proficient with mathematical concepts. At the International Congress of Mathematicians, Tao expressed concern that AI is challenging traditional mathematical values and practices.

Earlier that week, Anthropic researcher Claude disproved an 87-year-old math conjecture, yet many mathematicians at the conference remained unaware of the topic. Some expressed surprise at journalists asking about AI's impact on their work.

OpenAI announced that its AI agents solved the Navier–Stokes problem, one of the seven Millennium Prize problems, in less than four days. This breakthrough raised questions about the role of AI in mathematics, leading to an existential reckoning for the discipline. Mathematicians realized the immense power AI now wields over the field.

The OpenAI solution was based on the extensive work of previous mathematicians, but it raised concerns that AI companies might be scooping ideas from mathematicians. Max Weinreich, a math professor at CUNY Baruch, noted that AI had "ravaged" the field.

The Navier–Stokes problem, which has stumped mathematicians since the 1930s, illustrates the potential disconnect between AI solutions and their practical value. Although the problem deals with fluid dynamics—a critical area of study for various industries—the actual result may not directly aid further discoveries or human understanding of mathematics.

Despite the potential of AI-generated proofs, there is a risk that mathematicians may struggle to understand and apply these results. Even OpenAI's proof, which took 166 pages to complete, is described as "almost incomprehensible." As the field adapts to AI's growing influence, mathematicians must find ways to maintain their understanding of the proofs and ensure that AI's power serves to enhance rather than overpower the discipline.