Anthropic研究人员利用Claude AI在11天内完成了费马大定理的首个完整计算机可验证的形式化证明。这一突破性成就标志着人工智能在自动形式化复杂数学证明方面迈出重要一步。Claude采用Lean编程语言独立工作，生成了1300万行代码并证明了29500个中间定理，总共产生了30300个定理证明。这一成就规模…