Anthropic Multi-Agent Workflow Uses 60 Subagents and Lean Verification for Mathematical Proofs
Anthropic deployed an experimental unreleased model across 60 specialized subagents to tackle the Riemann hypothesis. The multi-agent architecture spent 31 million tokens over 36 hours and verified generated results using the Lean proof assistant.
Why it matters
Demonstrates how decoupling task orchestration into exploration, validation, and writing agents paired with deterministic verification tools like Lean eliminates hallucinated logic in complex reasoning workflows.
Open full story