OpenAI Agents Propose a Lean-Checked Navier–Stokes Blowup — and Won’t Claim the Prize
OpenAI published an AI-generated solution to Clay Navier–Stokes statements C and D: a finite-time singularity from smooth data, produced by ~10,000 concurrent agents and an unreleased model “significantly more capable than GPT-6 Astra,” then formalized in Lean. OpenAI will not claim the Millennium Prize.
Corrected October 14, 2026: The opening no longer says two labs claimed solutions to millennium-class problems (Fermat's Last Theorem is not a Millennium Prize Problem). Corrected the title of OpenAI's post to “On the Navier–Stokes Millennium Prize Problem”, removed an editing note left in the text, and linked the related article.
This is OpenAI’s claimed solution to Navier–Stokes, one of the seven Clay Millennium Prize Problems, shared with a Lean formalization — and the lab says it will not claim the prize.
OpenAI (September 8) published “On the Navier–Stokes Millennium Prize Problem.” Claim: an initially smooth fluid at rest, with a smooth force and finite energy, can form a finite-time singularity (Clay C and D). Internal model “significantly more capable than GPT‑6 Astra” (training from 28 Aug, still ongoing). 10,000 concurrent agents; solution 5 Sep ~88 hours after launch; 17 more hours of GPT‑6 Astra Lean formalization. NS effort: 2.7 million messages, ~130 billion output tokens; all problems: 4.9 million messages, ~300 billion tokens. Concurrent: Levent Alpöge (Anthropic) + Tristan Buckmaster (NYU) had forced Euler; OpenAI proved unforced Euler (100 agents, ~50 hours). OpenAI will not claim the Millennium Prize.
Caveats#
This is a lab research publication, not Clay’s award. Independent mathematicians must check the Lean. Watch: referee reaction, and whether the unreleased post-Astra model becomes the next Critical card.