AI and the Navier–Stokes Mystery: Has OpenAI Finally Solved a 90-Year-Old Problem?
For nearly a century, mathematicians have struggled with one of the most difficult questions in fluid dynamics: the Navier–Stokes existence and smoothness problem. In September 2026, OpenAI announced that an internal AI system had produced a mathematical solution, potentially marking a major moment in the history of artificial intelligence and mathematics.
But there is an important distinction: OpenAI has presented a solution, while independent mathematical evaluation and formal recognition are separate matters. The Clay Mathematics Institute has reportedly described the problem as apparently settled while emphasizing that evaluation and credit take time.
What Are the Navier–Stokes Equations?
The Navier–Stokes equations are fundamental mathematical tools used to describe how fluids move. They can be applied to phenomena ranging from airflow around aircraft to water currents and atmospheric motion.
At a simplified level, the equations account for factors such as:
- Fluid velocity
- Pressure
- Viscosity
- Momentum
- External forces
The equations themselves are well known. The difficult question is whether their three-dimensional solutions can remain smooth forever or whether they can develop a mathematical singularity in finite time.
That question has remained unresolved for roughly 90 years.
Why Is the Problem So Difficult?
Fluids can behave in extremely complicated ways.
A small disturbance can produce swirling structures, interacting vortices and turbulent motion. Mathematically describing all of these effects becomes particularly challenging in three dimensions.
The Millennium Prize version of the problem asks mathematicians to establish whether smooth solutions remain well behaved for all time, or whether a singularity can occur.
The problem is one of the seven Millennium Prize Problems, each originally associated with a $1 million prize.
What Did OpenAI's AI System Find?
According to OpenAI, its internal AI system produced an analytical proof showing that a smooth, initially stationary fluid subject to a smooth external force can develop a singularity in finite time.
OpenAI also produced a formalized version of the argument using Lean, a computer-assisted mathematical proof system.
The proposed solution involves a vortex that spirals inward and becomes increasingly elongated. As the central region shrinks, the velocity increases while the total energy remains finite.
This behavior provides the mathematical mechanism needed for the claimed finite-time breakdown.
Thousands of AI Agents Worked Together
One of the most remarkable aspects of the announcement was the scale of the AI effort.
OpenAI says its system used approximately 10,000 concurrent agents during the Navier–Stokes investigation. The agents explored different approaches and exchanged intermediate results.
According to OpenAI's account, the agents reached their Navier–Stokes resolution on September 5, around 88 hours after the project began. Formalization and verification in Lean took an additional 17 hours.
The company says the broader project involved millions of AI-generated messages and hundreds of billions of output tokens.
Why Lean Formalization Matters
AI-generated mathematical reasoning can contain subtle mistakes. A convincing explanation is not automatically a correct proof.
That's why formal verification is important.
Lean allows mathematical statements to be expressed in a machine-checkable form. OpenAI says its Navier–Stokes result was accompanied by a Lean formalization.
This does not eliminate the importance of mathematicians. Researchers still need to examine the definitions, assumptions, formalization and whether the theorem actually corresponds to the intended Millennium Prize question.
Did OpenAI Solve the Original Problem?
This is where the story becomes more complicated.
OpenAI says its result establishes statements C and D in the official Millennium Prize formulation, involving a smooth external force.
Some discussions surrounding the announcement distinguish this from the more familiar unforced Navier–Stokes problem. A specialist tracker notes that the unforced three-dimensional global-regularity question remains open under that interpretation.
Therefore, headlines saying simply that "AI solved Navier–Stokes" can hide an important mathematical detail.
The exact formulation being solved matters enormously.
A New Era for AI Mathematics?
The announcement could nevertheless represent an important development.
Modern AI systems are increasingly capable of:
- Exploring mathematical possibilities
- Writing symbolic arguments
- Generating computer code
- Testing mathematical constructions
- Collaborating through multiple AI agents
- Producing machine-checkable proofs
Instead of asking one AI model to solve a problem from beginning to end, researchers can create systems in which many agents investigate different approaches and another system combines the strongest ideas.
That resembles a digital research team.
What About the Controversy?
The announcement also generated questions about how AI systems obtain mathematical ideas.
OpenAI reported that it began its Navier–Stokes effort after hearing rumors that major mathematical problems might have been solved. It later investigated whether unpublished outside work could have influenced its system and said its investigation found that particular prior work by NYU mathematician Tristan Buckmaster could not have influenced the result.
These issues highlight a broader challenge for AI-assisted science: proving that a mathematical result is correct is one question; establishing originality and appropriate credit is another.
What Happens Next?
The mathematical community will need to examine the proof carefully.
Important questions include:
- Does every step of the argument hold?
- Does the formalized proof correctly represent the mathematical claim?
- Does the result satisfy the precise requirements of the Millennium Prize formulation?
- How does the result relate to the unforced Navier–Stokes problem?
- How should credit be assigned between AI systems and human researchers?
OpenAI itself says it does not intend to claim the Millennium Prize for the result.
The Bigger Picture
Whether this becomes universally recognized as the definitive solution or remains a major step requiring further mathematical interpretation, the announcement demonstrates how rapidly AI is entering advanced mathematical research.
For decades, solving problems like Navier–Stokes required human researchers to develop new ideas through years of mathematical work. AI systems are now being used to explore enormous numbers of possibilities in much shorter periods.
The most interesting question may therefore extend beyond Navier–Stokes:
Could AI eventually become a practical research partner capable of discovering, testing and formally proving new mathematics that humans would struggle to find on their own?
The Navier–Stokes episode offers one of the clearest tests yet of that possibility.
Conclusion
OpenAI's September 2026 announcement represents a potentially historic development in AI-assisted mathematics. Its system produced an analytical proof and Lean formalization for a finite-time singularity in a particular formulation of the Navier–Stokes problem.
However, "AI solved one of mathematics' greatest mysteries" needs to be understood with the precise mathematical formulation in mind. Independent scrutiny, verification, interpretation and recognition remain essential.
If the proof withstands that process, the achievement could mark a major turning point—not simply for fluid dynamics, but for the way mathematical discoveries are made.