Anthropic's AI model, Claude, has reportedly generated a formal, machine-verifiable proof of Fermat's Last Theorem, a mathematical problem that stood for over 350 years. The AI produced a 13-million-line proof in 11 days, a milestone for AI's capabilities in complex, abstract reasoning.