Agent swarm burns 300B tokens in 88 hours to crack Navier-Stokes, dev claims
bingxu_ · x · 2026-09-09
SwarmOS developer bingxu shared a report of a massive agent swarm tackling the Navier–Stokes problem: resolution arrived 88 hours after launch, with formalization and Lean verification via 'GPT-6 Astra' taking another 17 hours. Across all attempted problems the agents sent 4.9 million messages and consumed 300 billion output tokens (2.7M messages / 130B tokens for Navier–Stokes alone). He notes SwarmOS supports 10k live agents but they long lacked a use case this big — and the cost is far beyond a small startup. Unverified claim.
More from AGI Musings
- Solving a Millennium Prize Problem is an AlphaGo moment for math, says Yuchen Jin — Yuchenj_UW · 2026-09-09
- "Every math problem simpler than Navier-Stokes should now be considered solvable" — finbarrtimbers · 2026-09-09
- Open Source Must Catch Up or AI Discovery Falls to a Duopoly — ayushthakur0 · 2026-09-09
- Once AI trains on your interactions, your insight is no longer yours, argues cjmaddison — cjmaddison · 2026-09-09
- Ahead of US-China summit, policy researchers call for an AI safety communication channel — austinc3301 · 2026-09-09
- Anshul Kundaje: genomics is just scratching the surface of an AI-driven breakthrough era — anshulkundaje · 2026-09-09