+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+----- Forum: AI AND TECHNOLOGY (https://mklab.gr/forumdisplay.php?fid=158)
+----- Thread: AI Has Solved One of Math’s $1 Million Millennium Prize Problems (/showthread.php?tid=1914)
AI Has Solved One of Math’s $1 Million Millennium Prize Problems - mklabgr - 09-08-2026
Summary
In a potentially historic development, OpenAI researchers announced on September 8, 2026 that an AI system had produced a proof of finite-time singularity formation for the three-dimensional Navier–Stokes equations, one of the seven Millennium Prize Problems. These equations describe the motion of incompressible fluids and can be written schematically as
$\displaystyle \frac{\partial u}{\partial t}+(u\cdot\nabla)u=-\nabla p+\nu\Delta u+f,$
together with the incompressibility condition
$\displaystyle \nabla\cdot u=0.$
The central question has been whether initially smooth solutions must remain smooth forever or whether they can develop a singularity, where some quantity associated with the velocity field becomes unbounded in finite time. According to OpenAI, its construction produces such a blow-up starting from smooth data while using a smooth external force and keeping the relevant energy finite. If the argument survives full mathematical scrutiny, it would settle the Millennium problem by demonstrating that global regularity can fail.
The breakthrough did not arise from AI in isolation. Quanta emphasizes the crucial earlier work of Diego Córdoba and Luis Martínez-Zoroa, who developed an unusual analytic method based on an infinite cascade of individually regular fluid structures. Their previous constructions could create singularities but did not satisfy all the smoothness requirements imposed on the forcing term. The remaining challenge was therefore to make the cascade produce blow-up while the forcing remained sufficiently smooth. OpenAI reports that roughly 10,000 autonomous AI agents explored the problem in parallel and eventually discovered a construction satisfying these additional conditions. The resulting argument was subsequently formalized in Lean, allowing its logical steps to be machine-checked.
The result is also surrounded by important questions concerning mathematical priority and attribution. Shortly before OpenAI's announcement, mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge announced related AI-assisted progress for Euler-type fluid equations, also building on ideas developed by Córdoba and Martínez-Zoroa. The episode therefore raises a new question for mathematics: when an AI system completes a proof whose conceptual framework was created by human mathematicians, how should intellectual credit be distributed?
Another important distinction is that formal verification is not automatically identical to independent mathematical acceptance. Lean can verify that a formal theorem logically follows from its stated assumptions, but mathematicians must still check that the formalized statement corresponds precisely to the Navier–Stokes problem posed by the Clay Mathematics Institute. The wider mathematical community must also examine the construction, its hypotheses, and the relationship between the formal theorem and the original Millennium Prize formulation.
Key takeaways
- Claimed result: A smooth three-dimensional Navier–Stokes solution can develop a finite-time singularity under the permitted smooth forcing conditions.
- The mathematical system studied is
with
$\displaystyle \nabla\cdot u=0.$
- AI played an unprecedented role: thousands of autonomous agents searched through possible arguments and constructions, with the final proof subsequently formalized in Lean.
- Human mathematics remained fundamental: the breakthrough relies heavily on the earlier infinite-cascade ideas developed by Córdoba and Martínez-Zoroa.
- The $1 million prize has not automatically been awarded. The Clay Mathematics Institute has its own requirements for recognition and independent verification before a Millennium Prize solution can be officially accepted.
- If the proof withstands independent scrutiny, it would represent one of the most important demonstrations so far that AI can contribute not merely to checking mathematics but to producing genuinely new research-level mathematical arguments.
OpenAI has presented a formally verified candidate solution to the Navier–Stokes Millennium Prize Problem. If independent mathematicians confirm that the argument satisfies the exact Clay conditions, it could constitute the solution of one of mathematics' most famous open problems.
ARTICLE / ARTICLE [PDF]