OpenAI
OpenAI says an AI system solved the Navier–Stokes Millennium Prize problem
OpenAI put a math claim on the table that has sat open for about ninety years. On Sept. 8 the company published a research post saying an internal system — one it says is far more capable than GPT-6 Astra — produced a proof that smooth three-dimensional fluid motion can blow up into a singularity in finite time. That is statement “C” (and also “D”) in the Clay Mathematics Institute’s official Navier–Stokes problem. The company posted a writeup PDF and a formalization in Lean, the proof-checking language. In plain terms: the equations that describe how fluids move can start smooth and still run to infinite speed in finite time, even with viscosity smoothing the flow, while energy stays finite. OpenAI describes the solution as a vortex that spirals inward and stretches like spaghetti. The desk confirmed the company page and the PDF link. OpenAI says it does not intend to claim the Millennium Prize. Clay has not announced a prize award in this pass. Outside mathematicians have not been independently verified here as accepting the Lean proof.
Full story and sources · 3 primary sources