Anthropic's Claude Autonomously Generates First Computer-Verified Proof of Fermat's Last Theorem

5 Sept 2026, 12:13 pm · 7d ago · 1 min read · OfficeChai

Anthropic has announced that its AI model Claude worked autonomously over an eleven-day period to generate the first complete, computer-verified formal proof of Fermat's Last Theorem. Mathematical proofs historically require painstaking human verification, but modern AI systems are bridging the gap by interfacing directly with formal verification environments and interactive theorem provers. This milestone demonstrates the ability of advanced frontier models to engage in deep, sustained reasoning without continuous human intervention. The achievement signals a major leap forward in AI-assisted scientific discovery, automated formal verification, and complex mathematical problem solving across global research institutions.