+- 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: Has AI cracked a $1m maths problem? (/showthread.php?tid=1928)
Has AI cracked a $1m maths problem? - mklabgr - 09-10-2026
Has AI cracked a $1m maths problem?
The Plus Magazine article discusses OpenAI’s September 2026 announcement that an internal AI system had produced a proposed solution to the Navier–Stokes existence and smoothness Millennium Prize Problem, one of the seven problems for which the Clay Mathematics Institute offered a $1$ million prize. The Navier–Stokes equations describe the motion of fluids such as air and water and underpin applications ranging from weather prediction to aerodynamics. The fundamental mathematical question is whether initially smooth three-dimensional solutions must remain smooth forever, or whether they can develop a singularity in finite time.
OpenAI says its system constructed a smooth, finite-energy solution with smooth external forcing in which the velocity becomes unbounded after a finite time. In other words, rather than proving that smooth solutions always exist, the proposed proof takes the opposite route: it constructs a situation in which the Navier–Stokes dynamics blow up. OpenAI states that this establishes cases C and D of the official Millennium Problem formulation, and it released both a conventional mathematical proof and a formalized version checked in Lean.
However, Plus deliberately frames the development as something the mathematical community is still checking and debating, rather than simply declaring the Millennium Problem permanently settled. There is also controversy over attribution and the relationship between OpenAI's work and related research by Tristan Buckmaster, Levent Alpöge and earlier work by Diego Córdoba and Luis Martínez-Zoroa. Buckmaster stresses that important ideas behind the forced-blowup approach arose from this earlier human research and describes extensive collaboration between mathematicians and LLMs. The article also emphasizes that even if the proof is accepted, ordinary engineering applications are not suddenly invalidated: the pathological solutions do not mean aircraft simulations or weather models will cease to work.
Key takeaways
- OpenAI has presented a claimed solution of the Navier–Stokes Millennium Prize Problem by demonstrating finite-time singularity formation rather than universal smoothness.
- The result comes with both a traditional proof and a Lean-formalized proof, giving the claim an unusually strong form of machine verification, though broader mathematical scrutiny is still underway.
- The story is also about AI's rapidly changing role in mathematics: AI systems are moving from assisting mathematicians to potentially producing major original proofs.
- For now, it is safest to say that AI has produced a serious proposed resolution of the $1$ million problem—not that the Clay Mathematics Institute has already officially awarded or certified the prize.
ARTICLE