Report: OpenAI's 10,000 Agents Closed Navier-Stokes in 88 Hours, Verified in Lean
r0ck3t23 · x · 2026-09-10
OpenAI claims an internal system (stronger than the public GPT-6 Astra) used 10,000 agents to close the 90-year-old Millennium Problem on Navier-Stokes in 88 hours, with Astra spending 17 hours converting it into a Lean proof machine-verifiable line by line. The author's takeaway: what you can buy is a generation behind what exists — the best public model is the proofreader for a research-grade discovery engine, and the feat was scale, not a better idea. Unverified; Clay has not blessed it.
Related event: OpenAI's 10,000 Agents Solve Navier–Stokes in 88 Hours(3 posts)→
More from AGI Musings
- Debate: Mechanistic Interpretability Will Be Solved Before Any AI Takeover Scenario — tszzl · 2026-09-10
- Why people hate AI: it challenges the status quo and bruises egos — taherdhanera · 2026-09-10
- Humans know dream from reality; today's agents mostly don't — shawnup · 2026-09-10
- Beff Jezos: 'max fear-mongering stage' as centralised AI fights open-source threat to $2T valuations — beffjezos · 2026-09-10
- Prominent AI figure amplifies jab calling AI doomers 'the latest climate hoaxers' — beffjezos · 2026-09-10
- How to eval a self-improving bank: NIM and RoA as the real AI metrics — NirantK · 2026-09-10