【AI智能体11天攻克费马大定理形式化证明】当地时间9月4日，Anthropic 近日宣布，其AI模型Claude成功完成了费马大定理的首个端到端计算机验证证明。这一曾预计耗时数年的浩大工程，Claude仅用11天便基本自主完成。

该项目并非重新发现数学证明，而是将数学家怀尔斯1995年的经典证明转换为计算机可严格验证的Lean语言。过程中，数十个Claude智能体协同工作，生成了约1300万行代码，证明了超过3万个中间定理。

整个证明由Lean完成检查，确保了逻辑的绝对严谨。伦敦帝国理工学院的数学家Kevin Buzzard审阅后评价，该成果“没有留下任何假设”，是自动形式化领域的重大里程碑。ai