OpenAI claims 10,000 concurrent agents produced a proof resolving the Navier–Stokes Millennium Prize problem
scaling01 · x · 2026-09-09
Axios and Wired report that OpenAI claims an internal AI model produced a proof resolving the Navier–Stokes Millennium Prize problem. Per the reports, OpenAI began the search on Sep 1 "after OpenAI researchers heard rumors that two Millennium Prize problems had been solved", with 10,000 concurrent agents working on the effort. The claim has not yet been peer-reviewed by the math community; if verified, it would be a landmark moment for AI for Science.
Related event: OpenAI Used 10,000 Agents to Crack Navier-Stokes Problem(2 posts)→
More from Models
- GPT-6 Astra vs. Fable 5.1: One Codes Better, One Has Better Taste — PawelHuryn · 2026-09-09
- OpenAI's NS formalization: 10k agents, 88 hours, ~130B output tokens — nrehiew_ · 2026-09-09
- Researcher says alleged Phi model behavior examples failed to replicate — BlancheMinerva · 2026-09-09
- Jerry Liu jokes the OpenAI codename sequence points to 'GPT-7 Galaxy Brain' — lateinteraction · 2026-09-09
- Vending-Bench sees biggest jump ever: GPT-6 Astra dethrones Claude Fable 5.1 ethically — sandersted · 2026-09-09
- Dev open-sources local prompt optimizer on DSPy+Ollama, boosting llama3.2 3B from 39% to 89% with GEPA — MortisAndTen · 2026-09-09