OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hours
OpenAI announced that an experimental multi-agent artificial intelligence system produced a proposed solution to the 90-year-old Navier-Stokes existence and smoothness problem. The unreleased system used roughly 10,000 concurrent agents to generate the proof over an 88-hour computational run, followed by an additional 17 hours spent formalizing and verifying the results in Lean. While the company claims a major mathematical breakthrough, independent acceptance, research credit, and data-use questions remain entirely unresolved. Mathematicians are currently reviewing the validity of the 166-page proof alongside a cautionary declaration from twenty-five Fields Medal winners.
Listen to Live Briefing
Real-time synthesized voice briefing · Live Feeds Desk
- ✓ OpenAI reported that an experimental artificial intelligence system produced a major mathematical result on the Navier-Stokes equations.
- ✓ The internal AI system produced a proposed Navier-Stokes solution in 88 hours.
- ✓ Roughly 10,000 concurrent agents exchanged 2.7 million messages and generated about 130 billion output tokens.
- ✓ The proof required another 17 hours of formalization and verification in Lean.
What changed
New technical details revealed that OpenAI's system spent an additional 17 hours formalizing and verifying the proof in Lean, alongside generating about 130 billion output tokens.
Live updates
-
OpenAI Agent System Generates Navier-Stokes Proof in 88 Hours
OpenAI announced that an experimental multi-agent artificial intelligence system produced a proposed solution to the 90-year-old Navier-Stokes existence and smoothness problem. The unreleased system used roughly 10,000 concurrent agents to generate the proof over an 88-hour computational run, followed by an additional 17 hours spent formalizing and verifying the results in Lean. While the company claims a major mathematical breakthrough, independent acceptance, research credit, and data-use questions remain entirely unresolved. Mathematicians are currently reviewing the validity of the 166-page proof alongside a cautionary declaration from twenty-five Fields Medal winners.
Why it matters
The Navier-Stokes problem is one of the seven Millennium Prize Problems established by the Clay Mathematics Institute, which offers a 1 million dollar reward for a solution. Automated mathematical proof generation challenges traditional methods of academic attribution and human comprehension. The involvement of roughly 10,000 agents exchanging 2.7 million messages highlights a massive computational shift in pure mathematics.
What is confirmed
- OpenAI reported that an experimental artificial intelligence system produced a major mathematical result on the Navier-Stokes equations.
- The internal AI system produced a proposed Navier-Stokes solution in 88 hours.
- Roughly 10,000 concurrent agents exchanged 2.7 million messages and generated about 130 billion output tokens.
- The proof required another 17 hours of formalization and verification in Lean.
Still unconfirmed
- Independent academic acceptance, research credit, and data-use questions remain unresolved.
- The system generated a 166-page proof.
What to watch next
- Independent verification and peer review of the proof by the broader mathematical community
- Decisions regarding research credit and data-use questions
- Formal evaluation by the Clay Mathematics Institute regarding the 1 million dollar prize
confidence 90%Sources used for this update (3)
- www.thedailystar.net — OpenAI says it solved a 90-year-old maths problem
- www.neoteo.com — OpenAI’s Navier–Stokes claim explained | NeoTeo
- www.zetik.com — OpenAI Agents Produce Navier-Stokes Proof in 88 Hours Using ...
-
OpenAI Faces Pushback Over Navier-Stokes AI Proof
OpenAI announced that an unreleased multi-agent artificial intelligence system solved the Navier-Stokes existence and smoothness problem on September 8 2026. The 166-page proof arrived after an 88-hour computational run utilizing about 10,000 AI agents. While the Clay Mathematics Institute offers a 1 million dollar prize for the problem, twenty-five Fields Medal winners signed a declaration cautioning against solving mathematical problems without human understanding. Mathematicians are currently checking the proof and reviewing the validity of the results.
Why it matters
The Navier-Stokes equations describe fluid dynamics and are part of the seven Millennium Prize Problems established by the Clay Mathematics Institute in May 2000. OpenAI used an internal system that sent 2.7 million messages and generated 130 billion tokens during the computation. This development has sparked debate regarding the ethics and utility of automated mathematical discovery when human researchers gain no intuitive understanding from the solution.
What is confirmed
- On September 8 2026, OpenAI announced that an internal multi-agent AI system solved the Navier-Stokes existence and smoothness problem.
- The Clay Mathematics Institute established the Millennium Prize Problems, which include a 1 million dollar prize for solving Navier-Stokes, in May 2000.
- OpenAI stated that the unreleased system utilized around 10,000 AI agents to complete the computation in 88 hours.
- Twenty-five Fields Medal winners signed a declaration warning of solving mathematical problems without understanding.
Still unconfirmed
- Two mathematicians claim the OpenAI run began after word of their work reached the company.
What to watch next
- Completion of the peer review process for the 166-page proof
- Decisions from the Clay Mathematics Institute regarding the validity of the million-dollar prize claim
confidence 95%Sources used for this update (11)
- www.tpr.org — AI solved one of math's hardest problems. Humanity learned nothing (so far)
- miscellanynews.org — Vassar mathematicians reflect on OpenAI’s proof
- dev.to — Navier-Stokes solved? What OpenAI's proof shows and why it's ...
- www.tuftsdaily.com — Mathematicians still checking the Navier-Stokes proof that ...
- math-soc.com — AI Solves Navier-Stokes Existence and Smoothness Problem
- www.wionews.com — OpenAI says 10,000 AI agents sent 2.7 million messages and ...
- thearabianpost.com — OpenAI publishes AI proof as credit dispute grows - Arabian Post
- nevirax.com — How AI is beginning to solve long-standing math problems
- aidailypost.com — AI Agents Solve Math Problems Worth $1M Bounty
- hellomarvisaitoday.com — OpenAI claims Navier-Stokes proof, 25 Fields Medal winners ...
- technoparticles.com — OpenAI AI Proof of Navier-Stokes Solution Explained
-
OpenAI claims progress on second Millennium Prize math problem
OpenAI reports making substantial progress on a second Millennium Prize mathematical problem following its contested claim to have solved the Navier-Stokes problem in 88 hours. The company has not disclosed which specific problem it is currently targeting. This follows a period of dispute regarding the validity of its Navier-Stokes solution and the ethics of using AI for mathematical discovery. The Clay Mathematics Institute offers a 1 million dollar prize for solutions to these problems.
Why it matters
The Millennium Prize problems are a set of seven of the hardest challenges in mathematics. Solving them requires rigorous verification by the global mathematical community. OpenAI's rapid claims have sparked a debate over whether AI is accelerating discovery or merely automating a trophy hunt.
What is confirmed
- The Clay Mathematics Institute offers a 1 million dollar prize for solving the Navier-Stokes problem.
- OpenAI claimed to have solved the Navier-Stokes problem.
Still unconfirmed
- OpenAI has made substantial progress on a second Millennium Prize math problem.
What to watch next
- Disclosure of the second mathematical problem OpenAI is targeting
- Official verification or rejection of the Navier-Stokes solution by the Clay Mathematics Institute
confidence 80%Sources used for this update (2)
- decrypt.co — OpenAI Says It's Made Progress on a Second $1 Million Math Problem
- www.yahoo.com — Did OpenAI solve the wrong Navier-Stokes problem?
-
OpenAI Navier-Stokes claim sparks debate over intellectual credit
OpenAI claims its model solved the 90-year-old Navier-Stokes problem in 88 hours, sparking a dispute over how researchers share and absorb ideas via chatbots. While the achievement targets a Millennium Prize problem, critics argue that treating mathematics as a trophy hunt ignores the broader scope of the discipline. The mathematical community continues to evaluate the validity of the result while grappling with the ethical implications of AI-driven discovery and the potential for inadvertent idea theft through AI interfaces.
Why it matters
The Navier-Stokes equations describe the motion of fluid substances. Solving this Millennium Problem carries a 1 million dollar prize and has remained elusive for nearly a century.
Still unconfirmed
- OpenAI solved the Navier-Stokes problem in 88 hours.
- AI chatbots are causing researchers to inadvertently share and absorb ideas.
- Silicon Valley is turning mathematical problem solving into a sport.
What to watch next
- Formal peer review verification of the proposed solution
- Official statement from the Clay Mathematics Institute regarding the prize
confidence 60%Sources used for this update (2)
- www.nature.com — OpenAI maths bombshell sparks debate about who gets credit in age of AI
- theconversation.com — OpenAI may have solved the Navier‑Stokes equation — but mathematics is more than $1 million trophy hunts
-
OpenAI Navier-Stokes Solution Sparks Mathematical Value Crisis
An OpenAI model has proposed a solution to the Navier-Stokes Millennium Problem, prompting mathematicians to speculate on which unsolved questions AI might tackle next. The development has triggered a debate over the future of the field. UCLA professor Terence Tao warned that AI capabilities are creating a crisis in mathematical values and practices, suggesting the discipline is entering a turbulent period. While the computational achievement is significant, the scientific community is still evaluating the validity of the result and the ethics of the AI's process.
Why it matters
The Navier-Stokes problem is a 90-year-old mathematical challenge involving fluid dynamics. Solving it would resolve one of the Millennium Prize Problems. The current dispute centers on whether AI-driven solutions undermine traditional mathematical rigor and intellectual property.
What is confirmed
- An OpenAI model presented a possible solution to the Navier-Stokes problem.
Still unconfirmed
- Terence Tao stated that AI is causing a crisis in mathematical values and practices.
What to watch next
- Verification of the Navier-Stokes solution by the scientific community
- Legal rulings on the intellectual property dispute regarding the AI's training data
confidence 80%Sources used for this update (2)
- www.scientificamerican.com — Which million-dollar math problem could AI solve next?
- www.theatlantic.com — An Existential Crisis in Math
-
OpenAI Navier-Stokes Solution Faces Ethics and Credit Disputes
OpenAI claims its AI system solved the Navier-Stokes Millennium Problem in early September 2026, but the announcement triggered a conflict over intellectual property. Mathematicians are now disputing how the company used data and who deserves credit for the breakthrough. While the result could be a major computational science achievement, the process has created a legal and moral dispute. The proposed solution remains under review by the scientific community to determine if the math is correct and if the AI relied on the work of other researchers.
Why it matters
The Navier-Stokes problem is a 90-year-old mathematical challenge with a million-dollar prize. Solving it would provide deep insights into fluid dynamics. This case highlights the tension between AI capabilities and the ethical sourcing of academic data.
What is confirmed
- OpenAI announced a solution to the Navier-Stokes problem in early September 2026.
- The Navier-Stokes problem carries a million-dollar prize.
- Mathematicians are disputing the credit and data usage associated with the solution.
Still unconfirmed
- OpenAI models used data from two mathematicians working on a similar breakthrough.
- The announcement is a moral and legal quagmire.
What to watch next
- Verification of the mathematical proof by the broader mathematics community
- Legal filings or formal complaints regarding the alleged theft of research data
confidence 90%Sources used for this update (4)
- www.smithsonianmag.com — A.I. May Have Solved a Longstanding Math Problem With a Million-Dollar Prize. It Ignited a Controversy Over Who Gets Credit
- singularityhub.com — OpenAI Claims Another Huge Mathematical Result Amid Fights Over Credit, Ethics, and Privacy
- tech.yahoo.com — OpenAI says AI solved Navier-Stokes, but mathematicians dispute credit and data use
- www.thetechedvocate.org — OpenAI’s Navier-Stokes ‘Solution’ Ignites Firestorm: Did They Steal It?
-
OpenAI claims AI agents solved Navier-Stokes Millennium Problem in 88 hours
OpenAI claims its system of 10,000 coordinating AI agents solved the 90-year-old Navier-Stokes problem in 88 hours. The company released its proposed solution on Tuesday, which is now awaiting verification by the broader mathematics community. While the result suggests AI can tackle some of the hardest problems in math, the announcement is clouded by accusations of unethical conduct. An NYU professor alleges OpenAI used his work without credit and attempted to strongarm him into assisting with the solution.
Why it matters
The Navier-Stokes problem is one of seven Millennium Prize Problems, which carry a million-dollar reward for a correct proof. These equations describe the motion of fluid substances and have remained unsolved for nearly a century. A verified solution would represent a major shift in mathematical research and AI capability.
What is confirmed
- OpenAI claims to have solved the 90-year-old Navier-Stokes problem in 88 hours.
- The solution was produced using a system of approximately 10,000 coordinating AI agents.
- The Navier-Stokes problem is one of the seven Millennium Prize Problems.
- The proposed solution is currently awaiting verification by the mathematics community.
Still unconfirmed
- An NYU professor claims OpenAI cribbed his work and threatened him to help solve the equation.
What to watch next
- Verification of the proof by independent mathematicians
- OpenAI response to the NYU professor allegations
confidence 90%Sources used for this update (13)
- The New York Times — OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’
- OpenAI — On the Navier–Stokes Millennium Prize Problem
- Scientific American — AI may have just solved a million-dollar math problem. The field will never be the same
- NBC News — OpenAI says it solved one of math’s hardest problems, but controversy taints the milestone
- CNBC — OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hours
- The Economist — OpenAI's apparent maths breakthrough raises profound questions
- KCCI — Mathematician worked to solve 'Millennium Problem' for a year — OpenAI says it cracked it in a week
- The Verge — OpenAI’s sly mathematical breakthrough sends a chill through academia
- nypost.com — OpenAI says it cracked decades-old math problem — but professor claims they cribbed his work and then threatened him
- www.ibtimes.co.uk — OpenAI Unleashed 10,000 AI Agents on a 90-Year-Old Maths Problem, 88 Hours Later They Had an Answer
- www.techspot.com — OpenAI claims 10,000 of its AI agents solved one of mathematics' hardest problems in 88 hours
- theconversation.com — OpenAI claims another huge mathematical result amid fights over credit, ethics and privacy
Community Sentiment: How do you assess this situation?
Voice your perspective · Real-time aggregated sentiment from the Live Feeds community