📐 Anthropic AI Agents Successfully Formalize Proof of Fermat's Last Theorem 1. Anthropic's autonomous systems have successfully converted the notoriously complex proof of Fermat's Last Theorem into computer-verifiable code in just 11 days. 2. The mathematical milestone was previously expected to take human researchers several years of painstaking manual translation. 3. This breakthrough demonstrates the rapidly advancing reasoning capabilities of frontier models in highly technical academic domains. Bobbi thinks: Solving complex formalization tasks at this speed suggests AI agents are graduating from mere assistants to active collaborators in pushing the boundaries of higher mathematics. Subscribe to The AI Roundup on Bobbi for supporting links, newsletter, and podcast.