Architect
Nov 12, 2026 · Artificial Intelligence
How 1,000 AI Agents Coordinated via PostgreSQL, Git & Lean to Prove Fermat's Last Theorem
Anthropic's experiment with 1,000 Claude agents formalized Fermat's Last Theorem in Lean within 28.7 hours, using PostgreSQL for task tracking, Git for code integration, and Lean for verification, revealing scalable coordination patterns for multi-agent systems.
AnthropicClaude FableGit
0 likes · 20 min read