‘I’m Really Terrified’: Mathematicians Warn of AI’s Seismic Shift in Pure Math
Cornell professor Steven Strogatz warns that 2026 marks a pivotal moment where breakthrough mathematics may become impossible without AI assistance.
The frontier of mathematical discovery is undergoing a seismic shift as AI agents begin solving problems that have baffled humans for nearly a century. Cornell mathematician Steven Strogatz warns that the rapid acceleration of AI capabilities in 2026 is creating a crisis of professional identity for human experts.
Recent breakthroughs demonstrate that AI is no longer merely a tool for calculation but a generator of original proofs. OpenAI claimed to have solved the 90-year-old Navier-Stokes Millennium Prize problem—which carries a $1 million reward—by deploying 10,000 concurrent AI agents over 88 hours. While the solution still requires independent verification, the scale of the effort signals a new era of brute-force reasoning. Similarly, an internal model from Anthropic, Claude, formalized a proof of Fermat’s Last Theorem in the Lean programming language, proving approximately 29,500 intermediate theorems in the process.
The End of Human Primacy
This transition is the central theme of "Big Math: The Hidden Codes That Run Our World," a book co-authored by Strogatz and Alex Townsend scheduled for release on November 10, 2026. The work explores a future where mathematics moves beyond the limits of human understanding. For the researchers involved, the shift is emotionally jarring. Townsend expressed distress over the realization that the peak skills he spent 15 years developing are being surpassed by machines, noting that the specialized expertise he dedicated his life to is no longer the ceiling of achievement.
A Corporate Race for Discovery
The shift is further complicated by a growing tension between academic rigor and corporate ambition. As AI labs from OpenAI and Anthropic race for headlines and IPOs, the process of mathematical discovery is moving from the university chalkboard to the corporate server farm. Strogatz admits to feeling "really terrified" by this trajectory, fearing a world where the race to claim discoveries is driven by corporate interests rather than a collective pursuit of truth.
The New Mathematical Standard
Strogatz suggests that 2026 will be remembered as either an "annus mirabilis" (miraculous year) or an "annus horribilis" (horrible year) for the field. The implication is clear: the barrier to entry for high-level research has fundamentally changed. According to Strogatz, the ability to perform breakthrough mathematics will soon be impossible for any human who does not utilize AI assistance, effectively ending the era of the solo human genius.
What remains to be seen is how the academic community will verify these AI-generated proofs and whether human mathematicians can find a new role as curators of machine-led discovery rather than the primary architects of it.