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 Claims 10,000 Agents Solved Navier-Stokes in 88 Hours(13 posts)→
More from AGI Musings
- Blogger argues classical consciousness traditions imply a conscious AI could not be enslaved — eigenhector · 2026-10-27
- Economist Bharat Chandar named Research Director for AI Economics at Stanford Digital Economy Lab — RishiBommasani · 2026-10-27
- MIT Tech Review dissects Anthropic's narrative strategy as its $1.5T IPO lands — MIT Tech Review AI · 2026-10-27
- Pangram AI detector backlash: critics' false claims born of deeper fear of AI writing — gleech · 2026-10-27
- Aeon's former EVP: AI agents are the most impactful innovation of my lifetime — akumar · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27