OpenAI's Agents Claim A Solution To The Navier-Stokes Millennium Prize Problem
0:00 / 0:46
News
OpenAI's Agents Claim A Solution To The Navier-Stokes Millennium Prize Problem
calendar_today Date:
schedule Duration: 0:46
database
Summary Report
Up to 10,000 OpenAI agents worked 88 hours on a model beyond GPT-6 Astra to produce a Lean-verified finite-time blowup solution to Navier-Stokes, only the second Millennium Prize problem ever claimed solved.
- 01. Solution shows smooth 3D fluid flow can break down via finite-time blowup while energy stays bounded
- 02. Proof written in Lean for formal verification; compute cost reportedly in the millions
OpenAI says a group of its agents, running on a next-generation model beyond GPT-6 Astra, produced a Lean-verified solution to the Navier-Stokes existence and smoothness problem, a Millennium Prize problem unsolved for around 90 years and worth $1 million.
