# OpenAI says AI resolved the Navier–Stokes Millennium Prize Problem

> OpenAI's AI proved a finite-time blow-up in the forced Navier–Stokes equations on 8 September 2026.

*10,000 agents, 88 hours, one forced blow-up. The forced problem is settled; the harder one isn't.*

By The FeaturedDaily Desk · FeaturedDaily
Canonical: https://featureddaily.com/news/openai-navier-stokes-millennium-prize-brief

> **Key:** **The one-liner:** OpenAI's AI found a real, checked way to break the fluid equations — but only with a deliberate outside push. The version without one is still unsolved.

## What happened

On 8 September 2026, **OpenAI** said an internal AI model, run as roughly 10,000 coordinating agents, produced a written proof and a Lean formalisation showing the forced, three-dimensional **Navier–Stokes equations** can develop a singularity — a point of infinite speed — in finite time. That satisfies options C and D of the **Clay Mathematics Institute's** 2000 problem statement, one of seven Millennium Prize Problems worth $1 million each. The agents reached the result after 88 hours; a separate model spent a further 17 hours formalising and checking it in Lean, the automated proof assistant.

> This milestone represents substantial work by mathematicians and AI researchers. However, this is not a culmination, but rather a snapshot in time, of progress on AI development.
> — [OpenAI](https://openai.com/index/navier-stokes-solution/), 2026-09-08

## The catch

OpenAI's fluid needed a specifically constructed external force to break down. Most mathematicians have long focused on the harder *unforced* case, where a fluid breaks itself with no outside push — and that remains open. A proof posted 17 September 2026 goes further, showing OpenAI's forcing method cannot be extended to reach the unforced case at all.

> The Clay problem is settled, but the main problem for the Navier-Stokes equations is not.
> — [Scientific American](https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/), 2026-09-21

## The money and the rival result

OpenAI's Sébastien Bubeck estimated the computational cost at several million dollars, per Quanta Magazine. OpenAI says it will not claim the Clay Institute's $1 million prize — under Clay's rules, official recognition needs publication, a two-year wait and broad acceptance, a bar only the Poincaré Conjecture has cleared. About 12 hours before OpenAI's announcement, NYU's Tristan Buckmaster and Anthropic's Levent Alpöge published a related, Lean-verified proof for the forced Euler equations, using a mix of AI models; OpenAI has ceded priority to them on that result while claiming the larger Navier–Stokes result itself. Both efforts built on a technique developed by Diego Córdoba and Luis Martínez-Zoroa without AI assistance, starting with Martínez-Zoroa's 2021 doctoral work.

| Fact | Detail |
| --- | --- |
| Announced | 8 September 2026 |
| Agents used | ~10,000, unreleased internal model |
| Time to proof | 88 hours + 17 hours Lean |
| Estimated cost | Several million dollars |
| Result | Forced Navier–Stokes blow-up (Clay options C & D) |
| Rival result | Forced Euler blow-up, ~12 hours earlier (Buckmaster & Alpöge) |
| Unforced Navier–Stokes | Still open; 17 Sept proof says unreachable this way |
| Prize claimed? | No |

## What's next

The Clay Institute's own review is a multi-year process that has not begun. Watch for independent mathematicians checking whether the Lean-formalised theorem actually matches what mathematicians meant to prove — a separate step from Lean's own logical check — and whether anyone finds a genuinely new idea for the unforced case the 17 September proof says this method cannot reach.

## Key takeaways

- What: OpenAI says roughly 10,000 AI agents produced a Lean-verified proof of finite-time blow-up in the forced Navier–Stokes equations, announced 8 September 2026.
- How: 88 hours to a proof, plus 17 hours of Lean formalisation; cost estimated at several million dollars.
- The catch: it's the 'forced' variant, using a built-in external push. The harder unforced version is untouched, and may be unreachable this way.
- The rival: NYU's Tristan Buckmaster and Anthropic's Levent Alpöge announced a related Euler proof about 12 hours earlier.
- The prize: OpenAI won't claim it. Clay's own rules mean years of review before anything is official.

## FAQ

### Did OpenAI solve the Navier–Stokes Millennium Prize Problem?
OpenAI published a proof and Lean formalisation on 8 September 2026 for the 'forced' variant, satisfying the Clay Institute's own rules. It is not yet officially recognised — that takes years — and the harder 'unforced' version remains open.

### How did OpenAI produce the proof?
Roughly 10,000 coordinating AI agents on an unreleased internal model, reaching a result in 88 hours plus 17 hours of Lean formalisation, at an estimated cost of several million dollars.

### Will OpenAI get the $1 million prize?
No. OpenAI says it will not claim it, and the Clay Institute's rules require publication, a two-year wait and broad mathematical acceptance before any prize is awarded.

## Sources

- [On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — OpenAI, 2026-09-08
- [AI Has Solved One of Math's $1 Million Millennium Prize Problems](https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/) — Quanta Magazine, 2026-09-08
- [OpenAI claims huge maths breakthrough on a famed 'Millennium Problem'](https://www.nature.com/articles/d41586-026-02842-5) — Nature, 2026-09-08
- [Did OpenAI solve the wrong Navier-Stokes problem?](https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/) — Scientific American, 2026-09-21
- [OpenAI says it has solved one of math's 'Millennium Problems'](https://www.cnn.com/2026/09/09/business/openai-millennium-problems-navier-stokes-hnk) — CNN, 2026-09-09