Anthropic said during pre-release testing, 1,000 Fable 5.2 agents formalized the proof of Fermat's Last Theorem in Lean in 30 hours, compared to 26% completion in 18 hours by Opus 5.5