Anthropic announced its AI model, Claude, has successfully generated a formal, machine-verifiable proof of Fermat's Last Theorem, a famous 350-year-old mathematical problem. The 11-day process resulted in a 13-million-line proof, showcasing a significant leap in AI's capacity for complex, abstract reasoning.