+- 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: OpenAI claims a solution to Navier-Stokes Millennium Prize Problem (/showthread.php?tid=1913)
OpenAI claims a solution to Navier-Stokes Millennium Prize Problem - mklabgr - 09-08-2026
OpenAI and the Navier–Stokes Millennium Prize Problem
A proposed AI-generated solution to one of mathematics’ greatest open problems
OpenAI has announced a proposed solution to the famous Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems established by the Clay Mathematics Institute.A proposed AI-generated solution to one of mathematics’ greatest open problems
The three-dimensional incompressible Navier–Stokes equations describing the motion of a viscous fluid are
$\partial_t u+(u\cdot\nabla)u-\nu\Delta u+\nabla p=f,\qquad \nabla\cdot u=0.$
Here $u$ represents the velocity of the fluid, $p$ its pressure, $\nu>0$ the viscosity and $f$ an external force.
The central mathematical problem
One of the fundamental questions in mathematical fluid dynamics is whether a solution that begins smoothly must remain smooth for all time.
Alternatively, could the equations produce a finite-time singularity, where some quantity associated with the velocity of the fluid becomes infinite after a finite amount of time?
OpenAI's proposed proof takes the second route.
According to the paper, for every viscosity $\nu>0$ it is possible to construct a smooth, compactly supported external force $f$ and a solution starting from rest,
$u(\cdot,0)=0,$
such that its total kinetic energy remains bounded:
$\sup_{0\le t<1}|u(t)|_{L^2}<\infty,$
while at the same time the maximum magnitude of the velocity becomes unbounded as $t$ approaches $1$:
$\limsup_{t\to1^-}|u(t)|_{L^\infty}=\infty.$
In other words, the fluid can retain finite total energy while its velocity becomes arbitrarily large in an increasingly small region of space.
What does the singularity look like?
The construction can be pictured as an extremely thin and increasingly stretched vortex.
As time progresses, the vortex becomes concentrated into a smaller region, spirals inward and accelerates. Its local velocity grows without bound, even though the total kinetic energy of the fluid remains finite.
A crucial part of the proof is arranging a delicate cancellation between several terms in the Navier–Stokes equations — nonlinear acceleration, pressure and viscosity — so that the external forcing term $f$ itself remains perfectly smooth.
The singular behaviour therefore appears in the velocity field rather than being introduced artificially through a singular external force.
The role of artificial intelligence
Perhaps the most remarkable aspect of the announcement is the way in which OpenAI says the proof was discovered.
According to OpenAI, a large multi-agent AI research system explored many different mathematical approaches simultaneously. The system first investigated a related finite-time blow-up problem for the inviscid Euler equations and subsequently concentrated its effort on the Navier–Stokes equations.
The resulting mathematical argument was also subjected to formal verification using Lean, a proof assistant increasingly used for computer-verified mathematics.
If the result is confirmed, the achievement would therefore be important not only for fluid mechanics and partial differential equations, but also for the emerging field of AI-assisted mathematical research.
Has the Millennium Prize Problem officially been solved?
Not yet.
At present, the result should be described as a proposed solution.
Even a very detailed proof, together with computer formalization, does not automatically settle a Millennium Prize Problem. The argument must be examined carefully by independent specialists and eventually gain broad acceptance within the mathematical community.
The Clay Mathematics Institute also requires a substantial period of public mathematical scrutiny before formally considering a solution for the Millennium Prize.
Therefore the most important stage now begins: mathematicians working in partial differential equations and fluid dynamics must check every part of the construction independently.
Why this matters
If the proof survives independent verification, the consequences would be profound.
It would show that smooth solutions of the forced three-dimensional Navier–Stokes equations can develop finite-time singularities, answering one of the most famous questions in modern mathematical analysis.
It would also represent an extraordinary milestone in the relationship between mathematics and artificial intelligence: an AI research system would have contributed directly to resolving a problem that has resisted generations of mathematicians.
For the moment, however, the correct mathematical attitude is one of great interest combined with careful verification.
The proposed proof may ultimately become a historic breakthrough — but its validity will be determined by the mathematical community.
Source:
ARTICLE