Did AI solve the Navier-Stokes problem?

Not in a way that counts yet. OpenAI announced a substantive result, but it is disputed, unreviewed, and may not match the official Clay formulation. Under Clay's rules, any solution needs journal publication plus two years of acceptance.

How long does it take for a proof to be accepted?

It varies — from weeks for short results to years for major ones. For Millennium Prize purposes, at least two years after publication in a refereed journal.

▸ EXPLAINER

What counts as a mathematical proof?

By PixPause Editorial · Updated September 26, 2026 · 5 sources

SHORT ANSWER

A mathematical proof is a step-by-step logical argument showing a statement must be true, where every step follows from accepted rules and earlier results. For a famous open problem, a proof only "counts" once other experts have checked it — for the $1 million Millennium Prizes, that means publication in a refereed journal plus two years of general acceptance.

EXPLAIN IT LIKE I'M 5

Announcing a proof is like saying "I built a bridge". It only counts once engineers have walked every plank — for a million-dollar maths prize, that inspection takes years.

The road to a $1M Millennium Prize

OpenAI's result is hereAnnouncedAnyone can claim a proof
Experts check itIndependent mathematicians hunt for gaps
Refereed journalPublished after peer review
2 yearsOf general acceptance by mathematicians
Prize consideredClay's board decides

Per the Clay Mathematics Institute's rules. The pin shows where OpenAI's Navier-Stokes result stood when PixPause checked it.

Proof is about checking, not announcing

Anyone — a person or an AI — can write something that looks like a proof. It becomes accepted mathematics when independent experts go through it and find no gaps. Long proofs of hard problems are often found to have errors that take months to spot, which is why announcements are only the start.

The Millennium Prize Problems

In 2000 the Clay Mathematics Institute named seven famous unsolved problems, each with a $1 million prize. Its rules require a solution to be published in a refereed mathematics journal of worldwide repute and to have general acceptance in the mathematics community two years later. Only one, the Poincaré conjecture, has been solved (by Grigori Perelman, who declined the prize).

One of the seven is Navier-Stokes existence and smoothness: whether the equations that describe how fluids like water and air flow always have smooth solutions in three dimensions, or can "blow up". The official problem is stated very precisely, so a result about a related equation or a slightly different setup does not settle it.

Computer-checked proofs

Proof assistants such as Lean let mathematicians write proofs a computer can verify line by line. A machine-checked proof removes doubt about the logic, but people still have to confirm it proves the right statement.

▸ THE HYPE VS WHAT WE FOUND

Real claims involving this term, each checked in a PixProof with linked sources.

"OpenAI's model solved the Navier-Stokes Millennium Prize Problem."Partly: the result is real and substantive, but mathematicians question whether it addresses the exact Clay formulation, there is a disputed priority claim, and it has not been independently reproduced or peer-reviewed.QUESTION ITOpenAI's Navier-Stokes "Proof" PixProof →

▸ PIXPROOFS THAT USE THIS TERM (1)

OpenAI's Navier-Stokes "Proof" · QUESTION IT · OpenAI

▸ COMPANIES BEHIND IT

OpenAI

HYPE OR REAL?

"OpenAI's model solved the Navier-Stokes Millennium Prize Problem."

▸ QUICK QUESTIONS

Did AI solve the Navier-Stokes problem?: Not in a way that counts yet. OpenAI announced a substantive result, but it is disputed, unreviewed, and may not match the official Clay formulation. Under Clay's rules, any solution needs journal publication plus two years of acceptance.
How long does it take for a proof to be accepted?: It varies — from weeks for short results to years for major ones. For Millennium Prize purposes, at least two years after publication in a refereed journal.

▸ SOURCES

Spot something wrong? Tell us — corrections are logged, see methodology.

▸ MORE EXPLAINERS

What does "All Natural" on a food label actually mean?How true is "based on a true story"?What is AGI?What is AI?What is an AI agent?What does "up to X hours" battery life really mean?What is a benchmark, and why do scores mislead?What does a box-office record actually mean?What is a class-action lawsuit, and does a settlement prove the claim was false?What is clock speed?What do IIHS "Top Safety Pick" and 5-star crash ratings mean?What does EV "fast charging" really mean?How is EV range measured?What is EPG?Can food brands say anything about health?What is frame generation, and are those frames real?What is GPT, and what is ChatGPT?Do GitHub stars and Hacker News points prove a tool is good?What are input latency and polling rate?What is an LLM?What is a live-service game?What does the NHTSA complaint count for a car tell you?What is open world?What does "open source" mean for software and AI?What is open-ear?Do more megapixels mean a better phone camera?What is a process node?What is prompt injection?What are vehicle safety ratings?What is refresh rate?What do Rotten Tomatoes and Metacritic scores mean?What is a safety recall?What does "self-driving" actually mean?What are specs?What is controller stick drift?What is a telephoto lens?Are voice assistants always listening?What does IP68 mean?