9月7日消息，Anthropic公布Claude用11天完成费马大定理首个端到端、可由计算机完整检查的形式化证明，写下约1300万行Lean代码，规模超过核心库Mathlib五倍。

这是AI在数学证明领域的里程碑式突破，标志着大模型AI开始具备独立进行高等数学研究的能力。传统费马大定理的形式化证明需要专业数学家多年工作，Claude仅用11天便完成。

该成果展示了AI推理模型在复杂逻辑推导和形式化验证任务上的强大能力，也预示着AI辅助数学研究的新范式正在形成。