Anthropic uses Claude to formalize proof of Fermat’s Last Theorem

# Anthropic Gets AI to Verify a 350-Year-Old Math Proof Anthropic used its Claude AI to translate a famously complex mathematical proof into a format that computers can automatically check for errors—a task that would normally take mathematicians months of painstaking work. The proof in question, Fermat's Last Theorem, has stumped mathematicians for centuries, and having AI verify it demonstrates that language models can handle serious intellectual work beyond writing and analysis. This could eventually speed up how mathematicians verify complex proofs and discover new ones.