OpenAI Claims Solution to the Navier–Stokes Problem Using AI Agents
OpenAI reported in its official report On the Navier–Stokes Millennium Prize Problem that a system of approximately 10,000 autonomous AI agents found a mathematical solution to the Navier–Stokes equations — one of the seven famous Millennium Prize Problems — in 88 hours. The formal verification of the mathematical proof in the Lean language was completed in just 17 hours by the GPT-6 Astra tool.
The Navier–Stokes equations form the foundation of fluid dynamics, describing the motion of viscous fluids and gases. The core of the problem lies in determining whether these equations always have smooth (continuous) solutions. As highlighted by media outlets, including Hromadske’s coverage of OpenAI’s achievement, the company’s algorithms constructed an example of a finite-time blowup, thereby confirming the scenario of breakdown in smoothness.
To achieve this result, the swarm system exchanged 2.7 million messages and generated 130 billion tokens. OpenAI emphasized that it is waiving the $1 million prize from the Clay Mathematics Institute in favor of scientific progress. At the same time, as analytical publication Implicator AI highlights regarding the Clay Institute’s position, the international scientific community is in no rush to officially record a victory, as peer review and proof verification by experts will take months. Furthermore, observers at ResultSense point to a priority dispute concerning source usage and algorithmic autonomy.