OpenAI says an experimental, unreleased AI system solved the Navier-Stokes existence and smoothness problem. That problem is one of the seven Millennium Prize Problems, and it carries a $1 million prize. The equations describe how fluids like water and air move. The unsolved question asks whether a perfectly smooth flow can eventually break down and produce speeds that grow without limit.
What OpenAI says happened
OpenAI says its system can. According to the company, roughly 10,000 AI agents worked together for 88 hours. They exchanged 2.7 million messages and generated about 130 billion tokens. Then GPT-6 Astra, OpenAI’s most advanced public model, spent another 17 hours formalizing and checking the proof. The proposed proof describes a fluid vortex that becomes increasingly stretched and concentrated until its speed blows up in finite time. The system says total energy stays finite.
The math and the limits
Real fluids cannot move infinitely fast based on current physics. At extreme scales, the assumption behind Navier-Stokes that a fluid is one continuous substance would stop matching physical reality. So the proof’s practical impact will take time. Navier-Stokes equations are used in aircraft design, weather forecasting, and blood-flow research. A better understanding of where the equations break down could eventually help scientists model extreme and turbulent flows. But that is a long path from a proposed proof to useful tools.
Questions about independence
There is already controversy over how independently the result was reached. NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge were separately working on a closely related fluid-dynamics problem. They had used AI tools during their research. Buckmaster questioned whether unpublished work entered into OpenAI products could have influenced the company’s model. He made the comments in a series of posts on Mastodon. That concern has not been fully resolved in public.
What comes next
The bigger implication may be the system that found it. If thousands of AI agents can attack a 90-year-old mathematical problem in days, the same approach could eventually be turned toward hard problems in materials science, energy, aerospace, and medicine. For now, mathematicians are still fighting over the claim. Verification matters. Until independent experts check the proof, the result remains a bold statement from OpenAI, not a settled fact.
