Current outcome
OpenAI announced on Sept 8 that its AI model coordinated 10,000 agents to solve Navier-Stokes in 88 hours; subsequently GPT-6 Astra formalized and verified the proof in Lean (additional 17 hours), covering cases C and D of the Millennium Prize formulation; the result remains not independently verified, and the company said it will not claim the Millennium Prize. The event has sparked discussions on AI safety, mathematical discovery, and implications for formal verification in smart-contract security.
Progress timeline
3 material updates- #01
On the Navier–Stokes Millennium Prize Problem
OpenAI announces an AI model that purportedly solves the Navier-Stokes Millennium Prize Problem, sparking debate over its validity and the role of AI in mathematics.
Source evidence: tedsanders
- #02
OpenAI claims 10,000-agent model solved Navier-Stokes, reigniting AI safety fears
OpenAI announced that an internal model coordinated ~10,000 AI agents to solve the Navier-Stokes existence and smoothness problem in 88 hours, emphasized it will not claim the Clay Millennium Prize, and that the result remains unverified externally.
State after update: OpenAI announced on Sept 8 that its AI model coordinated 10,000 agents to solve Navier-Stokes in 88 hours, but the result is not yet independently verified; the company said it will not claim the Millennium Prize. The event has sparked debates on AI safety and the widening gap between private and public AI capabilities.
Source evidence: CryptoSlate
- #03
OpenAI’s math breakthrough exposes the next weak link in crypto security
New report adds: GPT-6 Astra formalized and verified the proof in Lean, taking an additional 17 hours; the proof shows an initially smooth fluid can develop a singularity in finite time while retaining finite energy, establishing cases C and D of the Millennium Prize formulation; OpenAI released the proof and Lean formalization for independent scrutiny.
State after update: OpenAI announced on Sept 8 that its AI model coordinated 10,000 agents to solve Navier-Stokes in 88 hours; subsequently GPT-6 Astra formalized and verified the proof in Lean (additional 17 hours), covering cases C and D of the Millennium Prize formulation; the result remains not independently verified, and the company said it will not claim the Millennium Prize. The event has sparked discussions on AI safety, mathematical discovery, and implications for formal verification in smart-contract security.
Source evidence: CryptoSlate