Cornell professor Steven Strogatz expresses both awe and alarm at AI’s capabilities in solving longstanding mathematical puzzles, highlighting tensions in credit and the future role of mathematicians.
- OpenAI’s AI solved a 90-year-old math problem amid authorship disputes
- Anthropic and OpenAI have achieved rapid progress on multiple complex theorems
- Mathematicians confront existential concerns about AI surpassing human expertise
What happened
In September 2026, OpenAI announced that its AI agents had collaboratively solved the Navier-Stokes existence and smoothness problem, a deeply theoretical math challenge unsolved for 90 years, carrying a $1 million prize. This achievement builds upon strategies developed by Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa, although the solution still awaits independent verification. Soon after, controversy arose when mathematician Tristan Buckmaster accused OpenAI of rushing to claim discovery credit after learning of his and Anthropic researcher Levent Alpöge’s parallel work.
This event is part of a broader surge in AI-driven mathematical discoveries. Anthropic recently reported that its Claude AI had formally verified tens of thousands of smaller theorems, including work on Fermat’s Last Theorem. Meanwhile, OpenAI has publicized rapid progress across multiple longstanding problems, greatly speeding up breakthroughs that traditionally took years or decades. These developments underscore an intensifying competition between large AI research labs aiming to demonstrate superiority ahead of anticipated major IPOs.
Why it matters
Steven Strogatz, a highly respected Cornell mathematician and coauthor of the forthcoming book Big Math, reflects the mixed emotions within the mathematical community. He acknowledges how these AI achievements can transform research but voices deep unease about how hurried commercialization and headline grabs affect proper credit and collaboration. Strogatz describes 2026 as a pivotal year that could be remembered for either remarkable progress or serious disruption in mathematics.
Furthermore, the rise of AI in mathematics raises profound questions about the future role of human mathematicians. Researchers like Strogatz’s coauthor Alex Townsend reveal ambivalence; although AI tools enable them to solve previously inaccessible problems, they also evoke feelings of being overshadowed. Townsend expresses sadness at no longer being the 'frontier' of knowledge and worries about a professional identity threatened by AI’s rapidly advancing capabilities.
What to watch next
The evolving dynamics of AI-driven mathematical research will likely continue to prompt heated debates around authorship, recognition, and the ethics of rapid public announcements. Independent verification of AI-generated proofs and the transparency of AI methodologies will become increasingly critical as corporations vie to claim breakthrough successes. Monitoring how established institutions and prize committees adapt to these new challenges will be essential.
For mathematicians and the wider scientific community, it will be important to watch how human-AI collaboration models develop. Will AI become a supplementary tool or a dominant force redefining expertise? The balance between accelerating discovery and preserving the human element in mathematical creativity is fragile. The coming years may well determine if 2026 marks the dawn of augmented mathematical insight or a disruptive fracturing of the traditional research ecosystem.