Anthropic Claude用Lean完成费马大定理计算机核验证明

9月以来，Anthropic旗下Claude完成了一项数学里程碑：约11天用Lean形式化语言完成费马大定理首个完整计算机核验证明。同时Claude还将黎曼猜想临界线零点比例下界提至67.2%，OpenAI则公开GPT-6 Astra将孪生素数间隔界限降至186。AI在数学领域的密集突破正在重塑研究范式——从定理证明到数值推断，AI正从辅助工具演变为独立研究者。数学家指出Anthropic应在合作中邀请Kevin Buzzard参与，引发AI学术伦理讨论。