Anthropic's AI agent, Claude, successfully translated the complex proof of Fermat's Last Theorem into a formal programming language in just eleven days. This achievement allows for automatic verification of the proof and highlights AI's potential to advance and validate complex mathematical research.