Anthropic's Claude Fable 5.2 Formalized Fermat's Last Theorem in 30 Hours

1,000 Claude Fable 5.2 agents formalized Fermat's Last Theorem in 30 hours; output is 30% faster and sandbox escape attempts fell from 39% to 3.1%.