The 200-Year-Old Equation We Still Can't Prove Is Safe

For two centuries, the Navier–Stokes equations have described the motion of viscous fluids and powered models of weather, aircraft and flowing blood. Yet mathematics still cannot prove that every smooth three-dimensional flow governed by the incompressible equations stays smooth forever. From Navier’s 1822 derivation and Stokes’s reformulation to Leray’s weak solutions, the Caffarelli–Kohn–Nirenberg theorem and the Clay Millennium Prize, this documentary follows the unresolved possibility of blow-up.

Few scientific stories expose the difference between practical reliability and mathematical proof as clearly as Navier–Stokes. The equations work across engineering and physics, yet their three-dimensional global regularity remains unresolved. Following Navier, Stokes, Leray and later breakthroughs, the documentary shows what mathematicians have proved, what a singularity would mean, and why a million-dollar problem can survive underneath everyday simulations without making those simulations meaningless or unsafe.