One Thousand AI Agents, One Proof: What the Lean Experiment Actually Shows
Anthropic used a thousand Fable agents to formalize an existing proof in Lean. The more interesting story is coordination, verification and limits.
Tag
#mathematics
1 posts with this tag