原创 11天、1300万行：Claude完成费马大定理首个计算机可验证证明，但自主二字值得细究 2026年9月4日，Anthropic宣布其内部研究模型在11天内完成费马大定理的完整形式化证明：1300万行Lean代码、29500个中间定理、约60亿输出token。这是历史上首个经计算机完整核验的费马大定理证明，标志AI自动形式化数学 Anthropic Claude 费马大定理 形式化证明 5小时前 58
