The Navier-Stokes Problem

No, it's not solved.

The Navier-Stokes problem asks a deceptively simple question: if you start a 3D fluid flowing smoothly, does it stay smooth forever? Or can the motion become so wild that the equations break down, with smoothness breaking down in finite time?

Nobody knows.

This is the Navier-Stokes existence and smoothness problem, one of the deepest open questions in all of mathematics, and it has resisted every attempt at a proof since the equations took shape in the 19th century. People have claimed solutions. None survived. For the full status, see Is It Solved?

The problem is open.

The Navier-Stokes existence and smoothness problem asks whether, for every sufficiently smooth, divergence-free initial datum $u_0 \in C^\infty(\mathbb{R}^3)$ (with suitable decay) and $f \equiv 0$, the incompressible Navier-Stokes system admits a solution $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$; alternatively, whether there exist smooth data $u_0$ (and possibly a smooth forcing $f$) for which finite-time singularities form.

Both directions are open. No proof establishes global regularity; no construction produces finite-time blowup from smooth data. The problem has been open since the foundational work of Navier (1822) and Stokes (1845), and it remains one of the central open problems in analysis and mathematical physics.

For the current status, including published claims and their fate, see Is It Solved?

Unsolved doesn't mean untouched. Nearly a century of deep mathematical work has mapped the terrain and revealed exactly where the difficulty lies and why it won't yield to the tools we have:

• Weak solutions exist globally (Leray, 1934). Relax the notion of "solution" to allow rough, averaged-out behavior and solutions exist for all time. Smooth? Nobody can prove it. More on approaches →
• 2D is solved. Smooth solutions always exist globally in two dimensions, but three dimensions is an entirely different beast. Why 3D is harder →
• Singularities, if they exist, are rare (CKN, 1982). Caffarelli, Kohn, and Nirenberg proved that the set of possible singularities has zero one-dimensional measure, meaning they can't fill even a single curve in spacetime. Subproblems and partial results →
• Smooth solutions exist briefly. Start with smooth data and you get a unique smooth solution for some time interval, but whether that interval can always be extended to infinity is exactly what's unknown.
• The precise formulation was set out by Charles Fefferman for the Clay Mathematics Institute. Read the Millennium Problem statement →

The following results constitute the main partial progress:

• Leray (1934): For $u_0 \in L^2(\mathbb{R}^3)$, global weak solutions (now called Leray-Hopf solutions) exist and satisfy the energy inequality. Uniqueness and regularity of these solutions remain open. Approaches →
• 2D global regularity: Ladyzhenskaya (1959) established global existence and uniqueness of smooth solutions in $\mathbb{R}^2$. The key is that enstrophy is controlled in 2D. Why 3D is different →
• CKN (1982): Caffarelli, Kohn, and Nirenberg proved that the one-dimensional parabolic Hausdorff measure of the singular set of any suitable weak solution is zero. Subproblems →
• Local existence: For sufficiently regular data, unique local smooth solutions exist; in critical spaces such as $\dot{H}^{1/2}$, one has local well-posedness in the mild-solution framework. The open question is whether these solutions can always be continued for all time.
• Clay formulation (2000): Fefferman's problem statement specifies the exact function spaces, decay conditions, and what constitutes a valid proof or disproof. The Millennium Problem →

Here's the core difficulty. A fluid's own motion can push activity to smaller and smaller scales faster than current estimates can control. In three dimensions, the math doesn't give us enough control to rule this out. It doesn't let us prove it happens, either.

This isn't about cleverness. It isn't about computing power. The known mathematical tools are fundamentally insufficient, and that tension between concentration and dissipation is exactly why solving the problem would require genuinely new mathematics.

Supercriticality, the scaling gap, why 3D turbulence is fundamentally different: for the full story, see Why the Navier-Stokes Problem Is So Hard.

The 3D Navier-Stokes equations are supercritical with respect to the natural energy estimate: the $L^2$ norm is controlled, but the scaling-critical regularity lies at $\dot{H}^{1/2}$, which is not propagated by the energy inequality alone. The nonlinear term $(u \cdot \nabla)u$ can in principle transfer energy to arbitrarily fine scales faster than the Laplacian dissipates it.

This is the essential analytical obstruction, and no existing technique closes the gap. For a detailed treatment, see Why It's Hard.

In 2000, the Clay Mathematics Institute named Navier-Stokes existence and smoothness one of seven Millennium Prize Problems, offering $1,000,000 for a correct proof or disproof. Twenty-six years later, the prize is unclaimed.

Read about the Millennium Problem →

The Clay Mathematics Institute included Navier-Stokes existence and smoothness in its 2000 list of Millennium Prize Problems, with a prize of US $1,000,000. The problem statement, written by C. Fefferman, specifies two sub-problems (on $\mathbb{R}^3$ and on $\mathbb{T}^3$) and accepts either a proof of global smooth existence or a construction of finite-time blowup. As of 2026, no solution has been accepted.

The precise Millennium formulation →

This page is a map. The territory runs deep. Pick a thread:

• Is It Solved? No. Here's the current status, major published claims and the technical reasons they failed under expert scrutiny.
• The Millennium Problem Demands. Precise ones.
• Why It's Hard Supercriticality, turbulence, and the scaling gap that blocks every known approach from getting anywhere near a proof.

For detailed treatments of the topics introduced above:

• Is It Solved? Status of the problem, published and retracted claims, verification standards.
• The Millennium Problem Fefferman's formulation, function spaces, and what constitutes a valid proof or counterexample.
• Why It's Hard The supercritical scaling, the role of the nonlinearity, and the gap between energy-level control and regularity.

Mathematicians haven't just stared at the problem. They've developed powerful tools, partial results, and entirely new fields of analysis trying to crack it. The work continues.

See the progress so far →

The Navier-Stokes problem has driven major developments in harmonic analysis, functional analysis, and geometric measure theory over the past century. Partial regularity results, conditional blowup criteria (Beale-Kato-Majda, Escauriaza-Seregin-Šverák), and model-problem analyses continue to sharpen our understanding of where the boundary between regularity and potential singularity lies.

Survey of progress →