2026-09-09 / Signal #1
OpenAI’s 10,000-agent swarm “solved” Navier-Stokes in 88 hours—then mathematicians cried foul
“Ten thousand bots spent a weekend proving water can explode. Then two humans said they got there first.”
The Story
OpenAI says an unreleased model more capable than GPT-6 Astra, running ~10,000 concurrent agents for 88 hours (millions of messages, ~$15M compute), produced a Lean-formalized proof that the Navier-Stokes equations can blow up into a singularity. NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge had just posted related Euler work; OpenAI denies seeing their prompts but cannot rule out de-identified product data helping its models. OpenAI will not claim the $1M Clay prize.
Why It Matters
Math’s last human-scale mysteries are now being strip-mined by agent swarms that cost more than a research lab’s annual budget; the “who thought of it first” fight is the new peer review.
Evidence
OpenAI research post; coverage in The Verge, WIRED, Scientific American, New Scientist, Axios, Techmeme. HN 1283 pts on the OpenAI write-up.
Sources
Daily scan: 2026-09-09