Anthropic's AI agent, Claude, successfully translated the complex proof of Fermat's Last Theorem into a formal, machine-verifiable programming language. The achievement highlights the potential of AI to accelerate progress in pure mathematics by automating the verification of complex proofs.