An AI agent from Anthropic successfully translated the complex proof of Fermat's Last Theorem into a formal programming language in eleven days. This achievement allows the proof to be automatically verified by a computer, showcasing AI's potential to advance and validate high-level mathematics.