105 hours, 4.9M messages, 300B output tokens: AI proves previously unsolved math problem
zainhas · x · 2026-09-09
What a time to be alive: you can now throw compute and money at previously unsolved problems with field-changing ramifications.
The numbers from this AI-assisted proof and verification run: 105 hours to prove and verify, 4.9 million messages exchanged, 300 billion output tokens — and an unknown (presumably vast) number of reasoning tokens underneath.
Related event: AI Math Breakthrough Cost $22.5M in Compute in One Week(2 posts)→
More from Research
- RLM harness lifts M&A diligence pass rate from 23.3% to 62.4% across seven models — a1zhang · 2026-09-09
- OpenAI claims agent-group solution to 90-year-old Navier-Stokes Millennium Prize Problem — mobav0 · 2026-09-09
- IFM open-sources K2 Horizon: six models, 20T tokens each, and a public reward-hacking audit — kimmonismus · 2026-09-09
- Dev launches aggregator site collecting all statements on OpenAI's claimed Navier–Stokes proof — NathanpmYoung · 2026-09-09
- Astra's in-house chess helper engine can force or block specific game outcomes, docs show — MikePFrank · 2026-09-09
- Anshul Kundaje: genomics is just scratching the surface of an AI-driven breakthrough era — anshulkundaje · 2026-09-09