OpenAI Resolved One of Navier-Stokes' Four Statements. The Famous One Stays Open.
OpenAI claims finite-time blowup for 3D incompressible Navier-Stokes with a smooth external force, resolving statements C and D of Fefferman's official Clay problem. An independent audit found zero unproven goals and zero extra axioms in its Lean formalization — a far higher evidentiary bar than any prior AI math claim. The unforced question, the one people mean when they say Navier-Stokes, remains open.