FrontierSeptember 8, 2026via OpenAI Blog
On the Navier–Stokes Millennium Prize Problem
Why it matters
An AI system has produced a formal proof to one of mathematics' most famous unsolved problems, demonstrating a leap in reasoning capability and mathematical problem-solving at the frontier of what AI can do.
Key signals
- OpenAI claims AI-generated solution to Navier–Stokes Millennium Prize Problem
- Formal proof provided in Lean (machine-verifiable)
- Published September 8, 2026
- Implies major capability advancement in mathematical reasoning and formal verification
- Navier–Stokes is one of seven Millennium Prize Problems (Clay Mathematics Institute) — solving one merits $1M and lasting scientific recognition
The hook
OpenAI's AI just solved a $1M Millennium Prize Problem. Here's what it means for AI reasoning.
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.