What was claimed

OpenAI's next-generation model and coordinating AI agents have produced a solution to the Navier-Stokes Millennium Prize Problem, one of mathematics' deepest unsolved issues for 90+ years

Our verdict

Needs caution

OpenAI says it produced a solution and published a proof, but reports note the result has not yet been independently verified or officially accepted. The statement reads as if the problem is fully settled, which is stronger than the current evidence supports. (Only 2 of 3 AI systems responded.)

All 2 AI systems agree20 sources citedChecked Sep 9, 2026

Check your own claim

Paste any statement, headline, or AI answer — 3 independent AIs verify it in seconds, with sources.

Key findings

OpenAI's next-generation model and coordinating AI agents produced a solution to the Navier-Stokes Millennium Prize Problem.

Misleading88%
All 2 AIs agree

The Navier-Stokes Millennium Prize Problem is one of mathematics' deepest unsolved issues for 90+ years

Verified89%
All 3 AIs agree

Detailed Analysis

The claim is broadly aligned with OpenAI’s own announcement that it produced a proof and Lean formalization for the Navier-Stokes Millennium Prize problem. However, the wording is misleading because it presents the result as an accepted, completed solution even though current reporting says the claim is still awaiting independent verification and official acceptance by the Clay Mathematics Institute.

Why this verdict

  • The claim is broadly aligned with OpenAI’s own announcement that it produced a proof and Lean formalization for the Navier-Stokes Millennium Prize problem.
  • However, the wording is misleading because it presents the result as an accepted, completed solution even though current reporting says the claim is still awaiting independent verification and official acceptance by the Clay Mathematics Institute.

Claims checked

OpenAI's next-generation model and coordinating AI agents produced a solution to the Navier-Stokes Millennium Prize Problem.

Misleading91%
OpenAI says it produced a solution and published a proof, but reports note the result has not yet been independently verified or officially accepted. The statement reads as if the problem is fully settled, which is stronger than the current evidence supports.[2] [3] [8]

This claim may mislead readers without added context.

The problem has remained unsolved for 90+ years.

Verified83%
The Millennium Prize Problems were formalized by the Clay Mathematics Institute in 2000, and the Navier-Stokes question has been open for decades before that. Describing it as unsolved for more than 90 years is reasonable and consistent with the historical context.[15] [19]

The Navier-Stokes Millennium Prize Problem is one of mathematics' deepest unsolved issues.

Verified89%
The Navier-Stokes existence and smoothness problem is one of the Clay Millennium Prize Problems, which are widely described as major unsolved problems in mathematics.[2] [19]

What other AI think

The claim contains accurate elements—OpenAI did announce a claimed solution using a next-generation model and coordinating AI agents on September 8, 2026. However, the claim's framing as a definitive "solution" is misleading given significant academic dispute over the proof's validity and the problem's official status remaining contested.

Why this verdict

  • The claim contains accurate elements—OpenAI did announce a claimed solution using a next-generation model and coordinating AI agents on September 8, 2026.
  • However, the claim's framing as a definitive "solution" is misleading given significant academic dispute over the proof's validity and the problem's official status remaining contested.

Claims checked

OpenAI's next-generation model and coordinating AI agents produced a solution to the Navier-Stokes Millennium Prize Problem

Misleading85%
OpenAI announced that an unreleased AI model solved the Navier-Stokes problem using up to 10,000 AI agents working in parallel over 88 hours. However, this is a claimed solution, not an accepted one. The discovery is overshadowed by accusations of misconduct from an NYU mathematics professor who was collaborating on the problem, accompanied by a hastily published version of their own results. Additionally, as of September 2026, the 3D Navier-Stokes problem is still open—nobody has proved that every smooth 3D incompressible flow stays smooth forever, and nobody has produced an accepted blowup counterexample.

This claim may mislead readers without added context.

The Navier-Stokes Millennium Prize Problem is one of mathematics' deepest unsolved issues for 90+ years

Verified95%
The Navier-Stokes problem has gone unresolved for roughly 90 years, and it is one of mathematics' seven famed Millennium Prize Problems.
ChatGPTDid not respond

Share this result