FrontierThe story, in brief
On the Navier–Stokes Millennium Prize Problem
OpenAI's AI just solved a $1M Millennium Prize Problem. Here's what it means for AI reasoning.
The KeyNews take
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.
The key facts
5 to knowOpenAI 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
Go to the source
OpenAI Blogopenai.com
Publisher excerpt: We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.