6 hrs ago
OpenAI Navier-Stokes Proof Claim Faces Questions From Mathematicians
The Navier-Stokes equations are rules that describe how fluids such as water and air move.
Mathematicians have been trying for decades to answer a difficult question about these rules.
They want to know whether the equations always produce smooth solutions or whether those solutions can suddenly become infinitely complicated.
OpenAI reportedly says one of its AI models created a proof that solves the full problem.
The proof is said to be about 100 pages long and was produced in a few days.
However, OpenAI has not shown the proof to other mathematicians.
Two researchers did prove a related result involving a friction-free version of the equations.
One of them has questioned whether their private research influenced OpenAI’s result.
Until the proof and relevant records are examined, nobody can confirm that OpenAI solved the problem.
OpenAI reportedly says an internal AI model generated a roughly 100-page proof of the Navier-Stokes problem in days.
The Navier-Stokes equations describe fluid motion, and mathematicians still do not know whether their solutions always remain smooth.
The problem is one of the Clay Mathematics Institute’s seven Millennium Prize Problems, carrying a $1 million award.
Tristan Buckmaster and Levent Alpöge recently verified a related result showing finite-time singularity formation in a friction-free version of the equations.
OpenAI has not released its alleged proof, leaving its validity and possible connection to researchers’ private work independently unverified.
- Who
- OpenAI, mathematicians Tristan Buckmaster and Levent Alpöge, and an internal OpenAI AI model are central to the dispute.
- What
- OpenAI reportedly claims its model generated a proof of the full Navier-Stokes problem, but the proof has not been publicly released.
- Where
- The articles do not identify a physical location for the claimed work.
- When
- The alleged proof was reportedly generated in a few days after OpenAI learned of related research; the problem itself has remained unresolved for decades.
- Why
- OpenAI pursued the problem after learning about progress on a related question, while Buckmaster raised concerns about possible exposure of his private drafts and the origins of the claim.
OpenAI’s Claimed Breakthrough
Mathematicians’ Demand for Verification
Whether the problem has been solved
OpenAI’s Claimed Breakthrough
OpenAI reportedly says its reasoning model generated a proof of the full Navier-Stokes problem, which could be a major advance for mathematics and AI.
Mathematicians’ Demand for Verification
Mathematicians cannot assess the claim until OpenAI releases the proof and it undergoes independent scrutiny.
Origins of the result
OpenAI’s Claimed Breakthrough
OpenAI reportedly directed substantial computing resources and a large team toward the problem after learning of progress on a related question.
Mathematicians’ Demand for Verification
Tristan Buckmaster questioned whether OpenAI’s systems had accessed or been influenced by private drafts he had supplied to the company’s tools.
Possible copying or misuse
OpenAI’s Claimed Breakthrough
The available allegations do not establish that OpenAI copied or stole the researchers’ work.
Mathematicians’ Demand for Verification
Buckmaster’s concerns about private material, authorship discussions, and OpenAI’s unclear answers warrant examination of the proof, model records, and relevant drafts.
Key facts
- Problem
- The Navier-Stokes problem asks whether fluid-flow solutions always remain smooth or can develop finite-time singularities.
- Prize
- A complete solution is eligible for a $1 million prize from the Clay Mathematics Institute.
- OpenAI claim
- An internal AI model reportedly generated a proof of roughly 100 pages in a few days.
- Related research
- Tristan Buckmaster and Levent Alpöge proved finite-time singularity formation in a friction-free version of the equations.
- Verification status
- The related research has been verified; OpenAI’s alleged proof has not been independently examined.
- Main concern
- Buckmaster questioned whether his private drafts influenced OpenAI’s result and raised concerns about how the company described its assistance.
Quotes
Tristan Buckmaster
Mathematician who studied a related Navier-Stokes problem with Levent Alpöge
“Why would you ruin your career?”
firstpost.com
Sources
Related news
AI executives say their machines have started to improve themselves
Sridhar Vembu Warns Software Engineers AI May Reduce Human Roles
OpenAI’s Jakub Pachocki Warns World Isn’t Ready for AI
Nvidia CEO Declares AGI After OpenAI Launches GPT-6 Astra
Nvidia CEO Says OpenAI GPT-6 Astra Has Reached AGI
OpenAI to End Cursor Model Deal After SpaceX Acquisition
OpenAI delays Astra launch over possible critical cyber capabilities
OpenAI’s Astra Model Claims to Solve Ten Long‑Standing Math Problems
