What was the Navier–Stokes problem?

It asks whether smooth three-dimensional fluid motion can break down, developing a singularity. OpenAI's proof shows this can happen in finite time with a smooth external force.

How did OpenAI's system find the proof?

Agents coordinated by an internal model worked for about 88 hours, starting September 5, using code execution and cached internet access. The group involved about 10,000 concurrent agents.

Large Language ModelsOpenAI BlogSep 8, 2026Sep 9, 2026, 04:00 JST

OpenAI AI resolves Navier–Stokes Millennium Problem

Send on LINE

3 Key Points

What happened
OpenAI's internal system proved that smooth fluid motion can break down into a singularity in finite time, resolving the Navier–Stokes Millennium Prize Problem.
Why it matters
The question had been unresolved for roughly 90 years; OpenAI shared both a writeup and a formal proof in Lean, and does not claim the prize.
What to watch
The result hinges on whether the mathematical community accepts the proof; OpenAI notes its model is significantly more capable than GPT‑6 Astra.

WHO IT HITSMathematicians and fluid dynamicists will need to verify the proof; AI researchers and business leaders should watch for further demonstrations of AI's capability in scientific discovery.

Not sure about something? Ask the AI

Questions and answers are published on this page.

Summaries like this, every morning.

Get these free every morning

Context & Analysis

OpenAI's announcement highlights a significant leap in AI reasoning, as the internal model outperforms GPT‑6 Astra in benchmarks. The effort began after rumors of other resolutions and involved a multi-agent system with 4.9 million messages and 300 billion output tokens. The proof's Lean formalization adds rigor, and OpenAI acknowledges concurrent work by Levent Alpöge and Tristan Buckmaster on a related Euler problem. This milestone suggests AI can tackle frontier mathematical challenges, but its acceptance will depend on peer review and the broader mathematical community's validation.

FAQ

What was the Navier–Stokes problem?: It asks whether smooth three-dimensional fluid motion can break down, developing a singularity. OpenAI's proof shows this can happen in finite time with a smooth external force.
How did OpenAI's system find the proof?: Agents coordinated by an internal model worked for about 88 hours, starting September 5, using code execution and cached internet access. The group involved about 10,000 concurrent agents.

OpenAI BlogRead Original Article

Send on LINE

Also reported by Semafor Tech

AI news that matters for your work, delivered every morning.

Pick your industry and the AI tools you use, and get news related to your work every day.

Get it free

Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →

Ask AI

Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.