The short answer, the long answer, and why the question is trickier than it sounds
Short answer: no
No. As of 2026, the Navier-Stokes existence and smoothness problem remains unsolved. Nobody has proved that smooth solutions always exist in three dimensions, and nobody has shown they can break down. The Clay Millennium Prize ($1 million) sits there unclaimed, waiting for someone to crack a problem tied to equations formulated in the 19th century and still open today.
The equations themselves aren't in question. Engineers and scientists use Navier-Stokes every day to design aircraft, predict weather, and model blood flow. Simulations work. But here's what's unresolved: a purely mathematical question about whether the equations always produce well-behaved solutions, or whether they might eventually predict something impossible, like infinite velocity concentrating at a single point in space.
What is already known
It's not completely dark. Mathematicians have chipped away at this for over a century, and they've built up a surprisingly detailed picture of what's known and what isn't:- Weak solutions exist (Leray, 1934). If you weaken the notion of solution, global solutions exist. But whether they stay smooth and unique is still open.- 2D is solved (Ladyzhenskaya, 1969). Two dimensions? Done. Smooth solutions exist for all time, and the difficulty is entirely, stubbornly specific to 3D.- Singularities are rare (Caffarelli-Kohn-Nirenberg, 1982). Even if singularities exist in 3D, they're confined to a set with zero one-dimensional measure, meaning a set so thin it has no length at all.- Short-time solutions exist. Smooth? Yes, at least briefly. The question: can they always be continued forever?So the gap is narrow but deep. We know solutions start smooth and we know weak solutions persist globally, yet nobody can prove that smoothness survives for all time in three dimensions.
Why people think it might be solved
Every year or two, a preprint drops claiming to solve the Navier-Stokes problem. The cycle is predictable: excitement, expert scrutiny, then someone finds the gap. None has been accepted by the expert community as a correct resolution.
Part of the confusion comes from mixing up what "solved" actually means:- "We can simulate fluids on computers." Sure. But numerical simulation isn't a mathematical proof; simulations chop space and time into finite pieces, and the question is about what happens in the continuous equations before you do any chopping at all.- "Engineers use these equations successfully." They do. But practical success doesn't tell us whether the equations are internally consistent in every possible scenario a mathematician can dream up.- "The 2D problem is solved." Correct. But the 3D problem is fundamentally different because the mechanism that makes 2D work (no vortex stretching, which keeps vorticity bounded) simply doesn't apply in three dimensions.
What would a solution look like?
To claim the Clay prize, you'd need to do one of two things:- Prove global regularity: show that for any smooth initial conditions, the solution stays smooth forever. No infinite velocities. No breakdowns. The equations always behave.- Construct a blowup: find smooth initial conditions where the classical mathematical solution breaks down in finite time, or otherwise satisfy one of the official Clay breakdown formulations.Either result would be massive. Global regularity would resolve the Clay problem and establish that the incompressible model is mathematically well-posed for all smooth data. A blowup? That would force us to rethink what happens at extreme scales and might point toward entirely new physics we haven't imagined yet.
The timeline so far
- 1822: Navier derives the equations from molecular considerations.- 1845: Stokes gives them their modern form.- 1934: Leray proves weak solutions exist globally. Huge.- 1969: Ladyzhenskaya solves 2D.- 1982: Caffarelli, Kohn, and Nirenberg prove partial regularity, establishing that any singularities must be extraordinarily rare, confined to a set of zero one-dimensional measure.- 1984: Beale, Kato, and Majda prove for the 3D Euler equations that breakdown of a smooth solution forces divergence of the vorticity time integral. Related continuation criteria also apply to Navier-Stokes.- 2000: Clay names it a Millennium Problem. One million dollars.- 2014: Tao constructs blowup for an averaged version of the equations (preprint; published 2016), showing there's no purely structural obstruction to singularity formation.- 2026: Open.
Continue exploring
Part of The Problem.
Go deeper: why is the problem so hard?, what subproblems are mathematicians working on, and what approaches have they tried?
The formal Clay statement lives on the Millennium Problem page, and if you want to understand which version of the equations this problem actually targets, see Incompressible vs. Compressible Navier-Stokes.
Originally published on navier-stokes.org. The site covers the Navier-Stokes existence and smoothness problem with toggleable simple/rigorous explanations.
Top comments (0)