1,000 agents formalized Fermat's Last Theorem in 30 hours, but review is the bottleneck
krishnan · x · 2026-11-10
Quoting Vercel CEO rauchg's take that Anthropic's new model is "astonishingly brilliant" and can take on unprecedented parallel workloads via cloud sandboxes, krishnan adds a sharper point: Anthropic's launch post showed 1,000 Fable 5.2 agents formalizing Fermat's Last Theorem in 30 hours, scoring progress against intermediate theorem statements in Lean with computer-verified steps.
Math had its checker before agents arrived; most enterprise work does not. So after ambition and compute, the third bottleneck is how fast you can tell which parallel branch is right — build the checker first, or sandboxes just fill a bigger review queue.
Related event: 1,000 Fable 5.2 Agents Formalize Fermat's Last Theorem in 30 Hours(20 posts)→
More from AGI Musings
- 19-year-old on the futility of convincing people AI isn't the enemy — TechRenamed · 2026-11-10
- Understanding is modeling, thinking is graph search: a compact AI framing — attentionmech · 2026-11-10
- Jaron Lanier in NYT: agents are 'rituals of belief,' Valley self-sabotage — lrettig · 2026-11-10
- Warren McCulloch, father of neural networks, talks AI in rare 1962 footage — burny_tech · 2026-11-10
- Dev mocks tone-filtering AI: like a phone refusing to send unless it sounds emotionally balanced — PierceLilholt · 2026-11-10
- AI circles debate RSI: measuring recursive self-improvement 'turns it dumb' — repligate · 2026-11-10