OpenAI AI Solves Navier-Stokes Millennium Prize Problem
A multi-agent system of 10,000 AI agents has proven that smooth 3D fluid motion can break down into a singularity.
OpenAI has announced that an internal AI system has solved the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The breakthrough marks the first time an artificial intelligence has resolved a frontier-level mathematical challenge that has stumped human researchers for nearly a century.
The AI produced an analytical proof demonstrating that an initially smooth fluid at rest can develop a singularity—a point where speeds grow without bound—in finite time, even when viscosity is present. To reach this conclusion, the system first resolved the regularity problem for unforced Euler equations as a necessary stepping stone. The final result was verified through a formalization in Lean, a mathematical proof assistant, which took an additional 17 hours using the GPT-6 Astra model.
The Computational Effort
The solution was not the product of a single prompt, but the result of a massive multi-agent coordination effort. OpenAI utilized a system of approximately 10,000 concurrent agents powered by an internal model that the company describes as significantly more capable than GPT-6 Astra.
According to OpenAI, the specific effort to solve the Navier-Stokes problem involved the exchange of 2.7 million messages between agents and the generation of approximately 130 billion output tokens. This scale of coordination allowed the system to iterate through complex mathematical proofs and verify them against formal logic in real-time.
A Century-Old Mystery
The Navier-Stokes equations, which date back to the 19th century, are the fundamental mathematical descriptions of fluid motion. They are critical to modern engineering, underpinning everything from aircraft wing design to global weather forecasting.
In 2000, the Clay Mathematics Institute designated the "existence and smoothness" of these equations as a Millennium Prize Problem. The core of the mystery was whether smooth three-dimensional fluid motion could ever "break down" into a singularity. For roughly 90 years, mathematicians were unable to prove whether such a breakdown was possible or if the equations remained smooth indefinitely.
Implications for AI Research
This achievement represents a landmark shift in the trajectory of artificial intelligence. While previous milestones focused on pattern recognition and basic reasoning, this result demonstrates an ability to perform high-level scientific discovery.
Sebastian Bubeck, an OpenAI researcher, described the event as a "spectacular culmination of the arc we have seen over the past twelve months." By combining multi-agent coordination with formal verification tools like Lean, the system has provided a blueprint for how AI can accelerate research in physics and mathematics by exploring proof spaces too vast for human teams to navigate manually.
What Comes Next
While the proof has been formalized in Lean, the broader mathematical community will now begin the process of peer review to ensure the logic holds under scrutiny. OpenAI has stated that it does not intend to claim the official Millennium Prize for the result. The industry will now be watching to see if this multi-agent architecture can be applied to the remaining six Millennium Problems or other unsolved mysteries in the hard sciences.