8 A Million Dollars for a Proof
8.1 The Seven Problems
In May 2000, the Clay Mathematics Institute of Cambridge, Massachusetts, announced the Millennium Prize Problems: seven mathematical questions, each carrying a prize of one million dollars for a correct solution. The problems were chosen by a committee of leading mathematicians to represent the most important unsolved questions in the field.
The list was: - The Riemann Hypothesis - The P versus NP Problem - The Hodge Conjecture - The Yang-Mills Existence and Mass Gap - The Birch and Swinnerton-Dyer Conjecture - The Navier-Stokes Existence and Smoothness Problem - The Poincaré Conjecture
By 2025, one problem has been solved. In 2003, the Russian mathematician Grigori Perelman proved the Poincaré Conjecture, completing a program developed by Richard Hamilton over many years. Perelman declined both the Clay Prize and the Fields Medal, the highest honor in mathematics, explaining that he considered the prize award unjust for reasons that mathematicians have debated at length since.
The remaining six problems, including the Navier-Stokes problem, are open.
8.2 What the Problem Actually Asks
The Navier-Stokes Existence and Smoothness Problem is not a question about fluid flow, exactly. It is a question about partial differential equations.
Here is the mathematical setup. Take a smooth initial velocity field \(\mathbf{u}_0(\mathbf{x})\) — a function that specifies, at every point in three-dimensional space, an initial velocity. The Navier-Stokes equations then determine how this velocity field evolves forward in time. The question is: does the solution always remain smooth?
“Smooth” has a precise mathematical meaning: the velocity and its derivatives of all orders exist and are finite everywhere. A smooth solution is one that does not develop singularities — points where the velocity or its gradient becomes infinite.
The problem comes in two flavors:
Existence: Given smooth initial conditions, does a smooth solution exist for all time \(t > 0\)? (For all of time, not just for a short while.)
Smoothness (or regularity): If a solution exists, does it remain smooth, or can it develop singularities — “blow-up” in finite time?
In two dimensions, both questions are answered: smooth solutions always exist and remain smooth. This was proved by Leray in 1934. The two-dimensional case is genuinely easier because the energy cascade works differently and the nonlinear term is better-behaved.
In three dimensions, which is the physical case, both questions remain open. We know that smooth solutions exist for a short time after any smooth initial condition (proved by Leray and others). We do not know whether they persist forever.
8.3 What Blow-Up Would Mean
If a three-dimensional Navier-Stokes solution could develop a singularity in finite time — if the velocity at some point became infinite in finite time — this would be, physically and mathematically, startling.
Physically: infinite velocity is not physical. A real fluid, before reaching such a state, would involve effects (compressibility, non-Newtonian behavior, molecular-scale breakdown of the continuum approximation) that the idealized Navier-Stokes equations ignore. A mathematical blow-up would not mean that real fluids develop singularities; it would mean that the mathematical model breaks down before capturing the physical behavior.
Mathematically: a blow-up solution would be evidence that the Navier-Stokes equations, as mathematical objects, have a kind of instability that we have not been able to rule out. It would not mean the equations are wrong for engineering purposes. It would mean they are incomplete as a mathematical theory.
Most mathematicians who work on this problem expect that the equations do have smooth global solutions — that blow-up does not occur — but no one has been able to prove it.
8.4 Partial Results
Progress since 2000 has been incremental and technical.
In 2016, Terence Tao — the UCLA mathematician and 2006 Fields Medal winner — published a paper showing that a certain averaged version of the Navier-Stokes equations can develop finite-time blow-up. The averaged equations are not the Navier-Stokes equations; they are a simplified version designed to be more tractable. But the result showed that the structure of the equations is, in principle, compatible with blow-up, and identified what a blow-up in the real equations would have to look like: an “energy concentration machine” that funnels kinetic energy into progressively smaller scales in finite time. This is the cascade described by Kolmogorov, taken to an extreme conclusion.
Tao’s paper is widely regarded as the most significant progress on the problem in years. It also makes clear why the problem is hard: the mechanism that could produce blow-up, if it exists, is precisely the cascade that turbulence exploits. The mathematical difficulty is not separate from the physical difficulty. They are the same difficulty.
Other partial results establish conditions under which global smoothness is guaranteed. If the solution remains in certain function spaces, or if the velocity gradient satisfies certain bounds, then no blow-up occurs. The problem is that we cannot prove these conditions hold in general.
8.5 Why It Matters Beyond the Prize
The Millennium Prize framing can make the problem sound like a curiosity — a million-dollar puzzle for mathematicians. The practical consequences of a resolution would be more significant than that.
If blow-up is proved to occur, then the Navier-Stokes equations have a fundamental limitation as a model of viscous flow, and the field would need to understand where and how the model breaks down. This would not invalidate decades of CFD work — the equations work in practice — but it would change the mathematical foundations.
If global smoothness is proved, the proof would likely introduce new mathematical tools for controlling the nonlinear term in the equations. Those tools would apply not just to Navier-Stokes but to a broad class of nonlinear PDEs in fluid mechanics, plasma physics, and general relativity. The mathematics that solves one hard problem of this type rarely solves only one problem.
Either answer is a contribution. The prize is the small part.
8.6 The Larger Picture
There is something philosophically interesting about the state of the Navier-Stokes equations in the early twenty-first century.
These equations were written down in their final form in 1845. They have been used continuously since then to design ships, analyze blood flow, predict weather, and build aircraft. They are taught in every engineering school in the world. They are implemented in every commercial fluid-dynamics simulation package. The infrastructure of the modern world — bridges, pipelines, aircraft, cardiovascular implants, combustion chambers — was designed using them.
And we do not know whether they always have solutions.
This is not a paradox. Engineering and mathematical existence are different things. A CFD solution is a numerical approximation on a finite grid; it never asks whether the exact solution is smooth. In practice, the equations work. But the mathematical foundations of the theory — the question of whether the equations form a consistent, well-posed description of a physical reality — remain genuinely open.
Navier got the right answer for the wrong reasons. We have been using the right answer for 180 years. We are still asking why it is right.
8.7 Summary
The Clay Millennium Prize Problem asks whether the three-dimensional Navier-Stokes equations always have smooth global solutions, or whether singularities can develop in finite time. In two dimensions the problem is solved; in three dimensions it is open. Leray proved that smooth solutions exist for short times. Tao’s 2016 paper showed that an averaged version can blow up, identifying the potential mechanism. A resolution either way would carry consequences for the mathematical foundations of nonlinear PDE theory beyond the Navier-Stokes equations specifically. The equations have been used successfully for 180 years without this question being answered.
8.8 Further Reading
- Fefferman, C. “Existence and Smoothness of the Navier-Stokes Equation.” Clay Mathematics Institute, 2000. The official problem statement; clearly written for a mathematical audience.
- Tao, T. “Finite time blowup for an averaged three-dimensional Navier-Stokes equation.” Journal of the American Mathematical Society, 29 (2016): 601–674.
- Leray, J. “Sur le mouvement d’un liquide visqueux emplissant l’espace.” Acta Mathematica, 63 (1934): 193–248. The foundational paper on weak solutions and short-time existence.
- Doering, C.R. & Gibbon, J.D. Applied Analysis of the Navier-Stokes Equations. Cambridge University Press, 1995. The most accessible rigorous treatment.