Anthropic has officially announced the formalization of Fermat’s Last Theorem, a landmark proof in mathematics that stood unsolved for 358 years. The achievement, revealed on September 4, 2026, signals a major leap in the ability of frontier AI models to handle rigorous, multi-step reasoning and automated theorem verification.
⚡ Fast Takeaways:
- Core Update: Anthropic has formally verified and formalized the complete proof of Fermat’s Last Theorem within a proof assistant environment.
- Key Metrics / Specs: The formalization covers a famously complex proof originally requiring over 100 pages of advanced algebraic geometry; AI completed the full rigorous validation workflow.
- Access & Availability: The formalization exists within Anthropic’s Claude ecosystem—developers and mathematicians can explore the proof-checked groundwork now.