Anthropic’s Fable 5.2 reportedly formalized Fermat’s Last Theorem with 1,000 agents in 30 hours
Anthropic says its new Claude Fable 5.2 (and the restricted Mythos 5.2) had a team of 1,000 agents formalize Fermat's Last Theorem in Lean in 30 hours, versus…