OpenAI ran 10,000 agents for 88 hours to prove Navier-Stokes — and it cost millions
AGI Hunt · wechat · 2026-09-10
Per AGI Hunt's writeup, OpenAI ran 10,000 agents continuously for 88 hours to produce a proof of the Navier-Stokes equations with Lean formal verification, burning millions of dollars of compute — roughly a century of uninterrupted work by one brilliant human. When someone joked about Anthropic having found room-temperature superconductors and rivals rushing to scoop it the same way, Sam Altman replied "you know what let's try." OpenAI's blog also claims a next-gen model smarter than GPT-6 was trained in days. The author's takeaway: throwing hundreds of millions of agents at decades-old problems with machine-verifiable criteria may soon be the norm.
Related event: OpenAI Claims 10,000 Agents Solved Navier-Stokes in 88 Hours(13 posts)→
More from AGI Musings
- LukeW: Technology Limits Are Temporary — and AI Skeptics Are Already Feeling It — LukeW · 2026-10-27
- GiveDirectly pilots an optional AI chatbot alongside cash aid in Rwanda — NathanpmYoung · 2026-10-27
- Ex-Anthropic employee essay: the org optimizes for power 'constrained by being seen as the good guys' — RichardMCNgo · 2026-10-27
- Investor: model version numbers are a mirage, only datacenter margins are real — StewartalsopIII · 2026-10-27
- WSJ Op-Ed: For Anthropic Share Offering Investors, a 10% Extinction Chance May Be a 90% Portfolio Win — davidmanheim · 2026-10-27
- WSJ: for Anthropic investors, a 10% extinction chance may still be a 90% portfolio win — peterwildeford · 2026-10-27