OpenAI claims AI system solved Navier-Stokes problem in 88 hours
OpenAI announced that a swarm of about 10,000 AI agents produced a solution to the Navier-Stokes existence and smoothness problem within 88 hours.
OpenAI announced that an internal AI model generated a formal proof for the Navier‑Stokes existence and smoothness question and released it in the Lean proof assistant for external verification. The company said it is not pursuing the Clay Mathematics Institute’s million‑dollar prize and that the model remains an internal tool. The proof has not yet been independently validated. OpenAI estimated the computational effort cost about $10 million. Mathematicians such as Terence Tao have cautioned that solving problems without human struggle could affect the educational value of mathematics.
How this was covered
- Right-leaning outlets covered this 7h later
Why it matters
It shows that AI can produce formal proofs for problems that have eluded mathematicians for decades, raising questions about the future role of human researchers.
How this story developed
- Sep 8 OpenAI claims AI system solved Navier-Stokes problem in 88 hours
- Sep 9 OpenAI clarified it is not seeking the $1 million Millennium Prize.
- Sep 9 OpenAI disclosed that the proof has not been independently validated and that the effort cost about $10 million.
In this story
