Hardest Fermat lemma spawned a 2,418-task tree across ~750 agents, 10 levels deep

RLanceMartin · x · 2026-11-10

Lance Martin details how the 1,000-agent team handled the largest statement in the Fermat proof: the agents set up a task tree spanning 750 agents, growing whenever a piece proved too hard for a single agent — ultimately reaching 2,418 tasks up to 10 levels deep.

A showcase of dynamic problem decomposition without external planning.

Related event: Anthropic's 1000 Fable 5.2 Agents Fully Formalize Fermat's Last Theorem in 30 Hours(11 posts)→

Original post →

More from coding & agent

coding & agent channel →