1,000-agent team with per-agent VM sandboxes formalizes Fermat's Last Theorem
rakyll · x · 2026-11-10
- RLance Martin shared an experiment running a team of 1,000 Fable 5.2 agents on ambitious long-horizon work: within safety boundaries, the team formalized a proof of Fermat's Last Theorem via coordination.
- Architecture: each agent gets its own lightweight VM sandbox (1 lead + 999 helpers), a Gateway forwards model API calls, a Git repo holds Lean files and plans, Postgres stores instructions, tasks and notes.
- Key observation: the bottleneck is no longer the model but surrounding infra (sandboxes, memory, CPU) — a single shared machine maxes out around 100 agents, with over half of 100-agent runs restarted due to resource exhaustion; supporting 1M concurrent agents needs new infrastructure.
Related event: 1,000 Fable 5.2 Agents Formalize Fermat's Last Theorem in 30 Hours(20 posts)→
More from coding & agent
- Vera launches gyms, benchmarks and agents for cloud infrastructure operations — tianyin_xu · 2026-11-10
- Illos.dev sells $69 agent skills that draw on-style SVG illustrations — sull · 2026-11-10
- Wisdom: an open-source local ledger for Claude Code and Codex agent sessions — Fit-Fail-3369 · 2026-11-10
- Claude Code deletes session transcripts after 30 days by default — one config line keeps them — Kyrannio · 2026-11-10
- Morph launches Ultra: unlimited Kimi and DeepSeek for $200/month — zack_overflow · 2026-11-10
- AWS Nitro Sandboxes launch as lightweight VMs for hardware-isolated AI agents — tekbog · 2026-11-10