Anthropic demos 1,000 Claude agents proving Fermat's Last Theorem
Lance Martin of Anthropic showed at AIE CODE 2026 that 1,000 Claude agents collaboratively formalized Fermat's Last Theorem in Lean, producing about 13 million lines across varying reported durations of 11 days or 28.7 hours.
2026-11-13 ~ 2026-11-13 · 2 related posts
- Episode 1: Anthropic's 1000-Agent Team Formalizes Fermat's Last Theorem in 30 Hours(2026-11-11, 6 posts)
- Episode 2: Anthropic demos 1,000 Claude agents proving Fermat's Last Theorem(2026-11-13, 2 posts)
- 1,000 Claude agents formalize Fermat's Last Theorem in 11 days, 13M lines of Lean — FinanceYF5 · 2026-11-13
- Anthropic's Lance Martin: 1,000 Claude Agents Proved Fermat's Last Theorem in 28.7 Hours — FinanceYF5 · 2026-11-13