OpenAI Claims Navier-Stokes Solution; Mathematicians Raise Credit Concerns, Verification Pending
United States

Sean Rayford/Getty Images/Getty
What Happened
What Happened
Where Sources Agree
- arrows_inputOpenAI Announces Math Breakthrough: Coverage highlights OpenAI’s announcement that an unreleased internal model solved the Navier-Stokes Millennium Prize problem, a 200-year-old fluid dynamics puzzle, though the company stated it does not intend to claim the $1 million prize, according to the official corporate release.
- arrows_inputScale of AI Effort: Outlets generally confirm that OpenAI deployed 10,000 AI agents to solve the Navier-Stokes problem, with these autonomous programs working concurrently for 88 hours to reach a solution at a cost of millions of dollars, according to OpenAI.
Where Sources Disagree
- arrows_outputNavier-Stokes Research Credit Dispute: Mathematicians allege OpenAI may have accessed their private research logs and rushed a competing solution to 'scoop' them; conversely, OpenAI denies accessing any private user data, asserting its internal model independently solved the Navier-Stokes problem.
- arrows_outputAuthorship and Professional Conduct: While mathematician Tristan Buckmaster alleges OpenAI pressured him to remove a collaborator from authorship and threatened his career if he refused, OpenAI representatives categorically deny these claims, stating they never requested the removal of his collaborator or threatened his professional standing.
Timeline
September 8, 2026
Credit dispute and verification pending: As OpenAI released its proof, Tristan Buckmaster and Levent Alpège posted related results (Buckmaster’s statement late Sept 7) and alleged their unpublished work may have informed OpenAI’s effort; OpenAI denied seeing their work before release, independent mathematical verification remained incomplete, and authorities ordered preservation of evidence.
September 8, 2026
OpenAI announces and publishes proof: On September 8, 2026 OpenAI publicly announced that an unreleased internal model and ~10,000 agents had found a Navier‑Stokes singularity, and published a technical paper plus Lean formalization while saying it does not intend to claim the $1 million prize.
September 5, 2026
Agents reach solution (Sept 5): About 88 hours after the project began, on September 5, 2026 roughly 10,000 concurrent AI agents produced a proposed Navier‑Stokes singularity; additional verification/formalization took another ~17 hours and the run exchanged millions of messages and produced billions of tokens.
Perspectives and Debates
What does OpenAI's Navier-Stokes solution actually demonstrate?
Summaries by Ground AI
Sources
See All 398Most Written About
The stories getting the most coverage from the last 24 hours
Timeline
September 8, 2026
Credit dispute and verification pending: As OpenAI released its proof, Tristan Buckmaster and Levent Alpège posted related results (Buckmaster’s statement late Sept 7) and alleged their unpublished work may have informed OpenAI’s effort; OpenAI denied seeing their work before release, independent mathematical verification remained incomplete, and authorities ordered preservation of evidence.
September 8, 2026
OpenAI announces and publishes proof: On September 8, 2026 OpenAI publicly announced that an unreleased internal model and ~10,000 agents had found a Navier‑Stokes singularity, and published a technical paper plus Lean formalization while saying it does not intend to claim the $1 million prize.
September 5, 2026
Agents reach solution (Sept 5): About 88 hours after the project began, on September 5, 2026 roughly 10,000 concurrent AI agents produced a proposed Navier‑Stokes singularity; additional verification/formalization took another ~17 hours and the run exchanged millions of messages and produced billions of tokens.













