The Navier-Stokes equations are a system of partial differential equations that describe the motion of viscous fluids such as water and air. They balance a fluid’s inertia against pressure, viscosity and outside forces, and they are used for everything from aircraft design and pipe flow to weather prediction and blood flow.
The famous open question is what these equations predict in three dimensions. Start with a smooth flow of finite energy: does the solution stay smooth forever, or can the velocity become infinite after a finite time? Clay’s official statement accepts any one of four answers: a proof that every smooth start stays smooth when there is no external force, on all of space (A) or in a periodic box (B), or an example of breakdown in either setting, where a smooth, rapidly decaying external force may also be chosen (C and D). In two dimensions smooth solutions are known to last forever; without forcing, the 3D question is still open.
The exact conditions are explained in the official Clay problem statement, explained, and the century of results behind them in Progress on the Navier-Stokes problem.
Clay selected Navier–Stokes as one of its seven Millennium Prize Problems in 2000 because it combines fundamental mathematical difficulty with the equations’ central role in fluid dynamics. The September 2026 announcement changes the status, not those reasons for its importance.
Primary sources: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Official Clay statement.
∂tu+(u⋅∇)u=−∇p+νΔu,∇⋅u=0.
This site is centered on the 3D incompressible Navier-Stokes global regularity problem on R3 or T3: for smooth, divergence-free initial data satisfying the official decay (or periodicity) conditions and f≡0, is there a smooth solution for all t≥0, with bounded energy on R3? Clay’s formulation accepts a proof of global existence (A on R3, B on T3, both with f≡0) or a breakdown example in which a smooth force satisfying the official decay conditions may also be chosen (C, D). The 2D analogue has long been settled; for f≡0 the 3D question remains open.
Formal conditions: the official Clay statement, explained. Results and methods: Progress.
Clay selected Navier–Stokes as one of its seven Millennium Prize Problems in 2000 because it combines fundamental mathematical difficulty with the equations’ central role in fluid dynamics. The September 2026 announcement changes the status, not those reasons for its importance.
Primary sources: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Official Clay statement.