Anthropic scaled 1,000 Claude agents to formalize Fermat's Last Theorem
SimplyAnnisa · x · 2026-11-12
At #AIECode, Anthropic's RLance Martin shared how he scaled 1,000 Claude agents to formalize Fermat's Last Theorem. His take on long-horizon agents: success mostly comes down to rewards and evals, not the prompt.
Related event: Anthropic's 1,000 Agents Formalize Fermat's Last Theorem in 30 Hours(6 posts)→
More from coding & agent
- Fable Ultracode burns a 5-hour Max limit in 17 minutes by spawning 30 parallel researchers — teortaxesTex · 2026-11-12
- vLLM team open-sources OpenDirector, an agent-driven AI video creation workflow — vllm_project · 2026-11-12
- Leak: xAI Working on a Selection Box for Grok Bot to Comment on Files — nima_owji · 2026-11-12
- Coding Agent Tooling Layers: One Agent vs Many, Personal vs Org-Wide — jiayuan_jy · 2026-11-12
- MobAI: Rotate Driver/Navigator Roles in AI Group Work to Boost Team Autonomy — JoeJustice · 2026-11-12
- Running a personal AI agent for months: architecture, failures, and open questions — Powermadlux · 2026-11-12