On September 7, 2026, Nature News reported that artificial intelligence company Anthropic announced having completed a formal proof of Fermat’s Last Theorem in just 11 days. This achievement was generated and verified by Anthropic’s AI system, marking a significant milestone in the history of mathematics.
Anthropic AI 于 9 月 4 日宣布，其 Claude 模型在 11 天内完成了费马大定理的计算机验证证明。该证明由 Claude 生成，包含 1300 万行代码，标志着人类数学工作首次被转化为机器可验证形式。此前安德鲁·怀尔斯于 1994 年完成该定理证明，而此次 AI 项目预期耗时十年。数学家亚历克斯·孔托罗维奇表示，将数学论证转化为计算机代码的过程令人震惊。AI 此前已在 2 月认证过玛丽娜·维亚佐夫斯卡关于球体堆积的研究，但费马大定理的复杂度高出约一个数量级。多伦多大学数学家丹尼尔·利特认为，若能形式化费马大定理，则意味着 AI 可形式化任何数学命题。