OpenAI Announces Solution to Navier-Stokes Millennium Problem Using 10,000 AI Agents

On September 8, 2026, OpenAI announced that it had solved the Navier-Stokes Millennium Problem, which had remained unsolved for approximately 90 years. The internal system proved that three-dimensional fluid dynamics forms a singularity within finite time, and released the related proof document and a Lean formalized proof on GitHub.

Resolution Process and Technical Structure

Approximately 10,000 concurrent agents participated in the solution, with about 300 billion output tokens used throughout the entire process. The agents discovered a mechanism where velocity increases to infinity while energy remains finite through inward spiral and axial stretching. Specifically, they first solved the Euler equation regularity problem with the viscosity term removed, then focused resources on the Navier-Stokes problem based on that result.

Verification and Relationship with External Research Teams

The solution was reached approximately 88 hours after the first agent run, with an additional 17 hours required for Lean formalization and verification via GPT-6 Astra. Discussions were held with an NYU research team regarding a simultaneous announcement, but upon confirming that the other party had a solution for the 'forced' Euler problem, priority was acknowledged. OpenAI stated that this result is a snapshot showing significant progress in AI models and that they have no intention of claiming the Millennium Prize.