OpenAI's Navier-Stokes "Proof"
The claim: OpenAI's model autonomously produced a genuine mathematical proof relevant to the Navier-Stokes singularity question.
by OpenAI
◐ Mixed evidence · Well sourced (10 sources)
By PixPause Editorial · 2 min read · Verified September 22, 2026
Partly. OpenAI's model did produce a real, technically substantive result on the Navier-Stokes singularity question, but the announcement's framing as a clean-cut solved Millennium Prize Problem is disputed — mathematicians allege a credit/priority issue, and Scientific American has questioned whether OpenAI solved the exact Clay Institute formulation.
Make your guess on the slip to reveal the answer- "OpenAI's model autonomously produced a genuine mathematical proof relevant to the Navier-Stokes singularity question."◐ PARTLY TRUE
- "OpenAI's team reached this result independently, without drawing on unpublished work by mathematicians Tristan Buckmaster and Levent Alpöge."✕ FALSE
BUYING THE HYPE
▸ HYPE VS REALITY
OpenAI announced on September 8, 2026 that an internal reasoning model — more capable than its public Astra model — autonomously produced a proof resolving the Navier–Stokes existence-and-smoothness problem, one of the Clay Mathematics Institute's seven Millennium Prize Problems, in roughly 88 hours, framing it as a landmark demonstration of AI-driven mathematical discovery.
Independent mathematicians quickly complicated the announcement on two fronts. Axios and MIT Technology Review reported that mathematician Tristan Buckmaster said work he and Levent Alpöge had underway on the related Euler equations appeared to have reached OpenAI shortly before its announcement, raising a priority dispute OpenAI denies, saying it began its own effort September 1 after merely 'hearing a rumor' of progress. Separately, Scientific American published a piece asking 'Did OpenAI solve the wrong Navier-Stokes problem?', noting the result — like Buckmaster and Alpöge's own advances — has gaps with the original Clay Institute formulation, which excludes the Euler case and requires a smooth external force. As of publication, no outside group has independently reproduced OpenAI's proof, and it does not yet appear on any peer-reviewed or independently vetted record.
OpenAI's model did produce a substantive technical result on a genuinely hard problem — that part checks out as a real feat of AI-assisted mathematics. But the framing as a clean, independently-confirmed solution to 'the' Millennium Prize problem overstates where things actually stand: a credit dispute with human mathematicians and open questions about whether the exact Clay formulation was addressed are both unresolved.
This verdict would change if the still-unsupported part of the claim "OpenAI's model autonomously produced a genuine mathematical proof relevant to the Navier-Stokes singularity question." were independently corroborated, or if the part currently supported were found not to hold up under further scrutiny.
▸ CLAIM CHECK
- AI Has Solved One of Math's $1 Million Millennium Prize Problems — Quanta reports OpenAI's model produced a proof that 3D Navier-Stokes equations can develop a singularity in finite time.
- Did OpenAI solve the wrong Navier-Stokes problem? — The result has gaps with the original Clay Institute problem, which excludes the Euler case and requires a smooth external force.
- OpenAI's historic math solution overshadowed by credit controversy — OpenAI says it began its effort on September 1 after 'hearing a rumor' and did not access the mathematicians' work through any means before public release.
- What OpenAI's latest controversy tells us about the future of math — Buckmaster said his and Alpöge's recent unpublished advances on the related Euler equations appear to have reached OpenAI a few days before its announcement.
Scorecard AI opinion ⓘ
▸ THE EVIDENCE ON YOUTUBE
Calls for AI regulation grow as OpenAI claims it solved Navier-Stokes math problem
Maths' Holy Grail Cracked? OpenAI 'Solves' 90-Year-Old Navier Stokes Problem | Vantage | 4K
Did OpenAI Steal a $1M Math Breakthrough? Navier-Stokes, Buckmaster, Anthropic | Tech Brew Ride Home
Tech Brew Ride Home Podcast
Did OpenAI try to intimidate Tristan Buckmaster, NYU math professor, over Navier-Stokes?
Theos Theory
OpenAI Says It Solved Navier-Stokes. There's a Problem
Practical stats
▸ FAQ
Did OpenAI win the $1 million Clay Millennium Prize?
No. As of this writing OpenAI has not been awarded the Clay Mathematics Institute's prize; the result has not been independently reproduced or peer-reviewed, and Scientific American reported the proof has gaps with the exact problem the Institute defined.
What is the credit dispute about?
Mathematician Tristan Buckmaster said unpublished work he and Levent Alpöge had done on the related Euler equations appeared to reach OpenAI shortly before OpenAI's announcement; OpenAI denies using their work and says it started its own effort September 1 after hearing an unrelated rumor.
What model did the proof?
OpenAI said the proof came from an internal research model more capable than its publicly released Astra model, not from a shipped consumer product.