Claude Fable 5.2 leads benchmarks and formalizes Fermat in 30 hours

About 1,000 agents running Claude Fable 5.2 formalized the proof of Fermat’s Last Theorem in 30 hours, according to Anthropic.…

read more