OpenAI's announcement that its AI agents solved the Navier-Stokes Millennium Prize Problem has sparked intense controversy. While OpenAI deployed 10,000 concurrent agents at an estimated cost of up to $15 million to brute-force the proof, the achievement is overshadowed by allegations that the company failed to credit work by NYU's Tristan Buckmaster and Anthropic's Levent Alpöge. Mathematicians fear resource-heavy corporate AI will undermine academic collaboration and career paths.
OpenAI Navier-Stokes solution announcement
- ▪OpenAI announced on September 8, 2026, that its AI agents solved the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems.
- ▪The Navier-Stokes existence and smoothness problem, established by the Clay Mathematics Institute in 2000, concerns equations describing fluid flow and carries a $1 million prize.
- ▪OpenAI stated that it does not plan to claim the $1 million prize from the Clay Mathematics Institute for solving the Navier-Stokes problem.
- ▪OpenAI's proof, obtained using an internal model that outperforms its Astra model, showed that the full Navier-Stokes equations can break down.
Buckmaster-Alpöge credit controversy
- ▪NYU mathematician Tristan Buckmaster and Anthropic employee Levent Alpöge accused OpenAI of using their AI-assisted work on the Navier-Stokes problem without giving them credit.
- ▪In September 2026, Tristan Buckmaster posted a proof on Mastodon showing that a simplified version of the Navier-Stokes equations can break down, after working on it with Levent Alpöge for nearly a year.
- ▪Tristan Buckmaster stated that OpenAI employees offered him two options: publish his work immediately before OpenAI published its solution, or co-author a paper excluding Levent Alpöge due to Alpöge's Anthropic affiliation.
- ▪OpenAI's chief research officer Mark Chen and technical staff member Sébastien Bubeck denied that OpenAI agents or employees accessed Tristan Buckmaster and Levent Alpöge's work transcripts.
AI computational resource requirements
- ▪The cost of running OpenAI's 10,000 concurrent agents to solve the Navier-Stokes problem was estimated at millions of dollars, with one estimate placing it at $15 million.
- ▪OpenAI solved the Navier-Stokes problem by running approximately 10,000 AI agents concurrently over a few days.
Human mathematician career concerns
- ▪University of Manchester mathematician David Silvester suggested that human mathematicians may transition into roles resembling auditors, spending their time verifying AI-generated proofs.
- ▪Mathematicians expressed concern that AI's rapid ability to solve complex problems will leave fewer open research problems for humans and diminish the traditional joy of mathematical discovery.
- ▪Mathematicians worry that their career advancement, which relies on published papers, will be undermined if AI can solve in days problems humans have worked on for months.
Mathematics coursework authentication problems
- ▪University lecturers face the challenge of instructing students not to use AI for certain mathematical problems while simultaneously preparing them to use AI-assisted mathematics in the future.
- ▪University of Manchester mathematician David Silvester stated that traditional take-home coursework and quizzes for undergraduate students are no longer viable because universities cannot verify their authenticity.
Academic collaboration norm violations
- ▪UCLA mathematician Terence Tao warned that prematurely solving pure mathematics problems with AI without transparency could harm the development of the field by bypassing human-directed efforts.
- ▪Mathematicians expressed concern that frontier AI companies operate with a lack of collaborative spirit and resources that dwarf those available to academic researchers.
- ▪Tristan Buckmaster stated that the controversy has made mathematicians reluctant to share their work-in-progress, changing the collaborative nature of the field.
Debatable claims
- ▪AI-powered solutions to pure mathematics problems harm the field
- ▪The massive computational cost of OpenAI's mathematical breakthrough was unjustified
Story comments
Loading comments…