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.
More from AGI Musings
- Satirical letter swaps math for cancer to skewer AI panic — Chris_Brannigan · 2026-09-12
- Schulman: AI may top human experts in computer-based fields within 3-4 years — Scobleizer · 2026-09-12
- Brendan McCord hosts Austin seminar pairing constitutional theorists with AI safety researchers — sebkrier · 2026-09-12
- Eric Drexler's analysis on preventing AI collusion deserves more attention, says David Wood — Chris_Armstrong · 2026-09-12
- AI labs are Goodhart-ing math: viral take says millennium prizes are metrics being optimized away — BlancheMinerva · 2026-09-12
- Open Philanthropy accused of spending $1B+ to bankroll AI doom for regulatory capture — kevinnbass · 2026-09-12