The Navier–Stokes question
Can smooth fluid motion break down?
01 / The question
These equations describe velocity, pressure and viscosity in a fluid. The famous problem concerns the mathematical behavior of three-dimensional incompressible flow, including whether smooth solutions can develop singularities.
02 / Why it is hard
A realistic-looking simulation only samples motion on a finite grid. It cannot alone establish existence or regularity for every admissible initial condition.
03 / Progress & scope
OpenAI announced a proof for a forced singularity formulation on September 8, 2026, with Lean artifacts. Clay currently labels its page Active. We present the announcement and institutional status separately, without declaring prize recognition.
Try an experiment
Make an abstract question tangible
The vector field below is an illustrative divergence-free field, not a numerical Navier–Stokes solver or a rendering of the proposed singularity.
Arrows show local direction and relative magnitude. The slider changes amplitude A only; there is no time evolution or 3D singularity simulation. Differentiate the two components to see why their divergence cancels.
Sources & further reading
Clay Mathematics InstituteOpenAI · September 8, 2026Sources last checked 2026-10-20. Status reflects an editorial review on that date, not continuous live monitoring.