Navier-Stokes AI proof took 10,000 agents, 88 hours and 130B tokens — not superintelligence
Healthy_Outcome7897 · reddit · 2026-09-12
The author argues the recent Navier-Stokes proof announcement misrepresents frontier model capability: it wasn't a single model's eureka moment, but an industrial-scale tree search — 10,000 concurrent agents running 88 hours, exchanging 2.7 million messages and burning 130 billion tokens. Parallel loops brute-forced possibilities, pruned dead ends and cross-pollinated surviving branches, verified in Lean. The takeaway: it's a triumph of compute infrastructure and orchestration, not a leap in base reasoning; agent scale should be distinguished from model intelligence.
Related event: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(18 posts)→
More from AGI Musings
- Box CEO Aaron Levie: AI progress is 'going vertical,' widening the frontier gap — rohanpaul_ai · 2026-10-31
- Model Collapse May Not Hit LLMs, But Perhaps Human Culture or Souls — generativist · 2026-10-31
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31