A team of 1,000 Claude Fable 5.2 agents translated the proof of Fermat’s Last Theorem into checkable computer code in 30 hours, a job that took an unreleased research version of Claude 11 days, Anthropic said in its launch post for the model. Anthropic said the new version also comes at a lower price.

Anthropic released Claude Fable 5.2 and Claude Mythos 5.2 on Monday. The two are the same underlying model. Fable carries cybersecurity and biology safeguards that let Anthropic offer it to all users, while Mythos, without those blocks, goes only to organizations accepted into the company’s Cyber and Life Sciences Verification Programs. Both generate output up to 30% faster than the 5.1 versions and cost $8 per million input tokens and $40 per million output tokens.…