Anthropic AI 11天证明费马大定理

Anthropic 的 AI 模型 Claude 近日完成了一项数学史上的壮举：在短短 11 天内，将困扰人类数学家 350 多年的费马大定理证明，转化为长达 1300 万行的计算机可验证代码。这一成果于 9 月 4 日由 Anthropic 公司正式公布，原本预计需要人类专家耗时 10 年才能完成的工作，AI 仅用不到两周时间便宣告达成。 费马大定理由法国数学家皮埃尔·德·费马于 1637 年提出，其表述极为简洁：当整数 n 大于 2 时，不存在满足 xⁿ + yⁿ = zⁿ 的整数解。然而，这个看似简单的猜想却困扰了数学界三个多世纪，直到 1994 年才由英国数学家安德鲁·怀尔斯和理查德·泰勒完成证明，怀尔斯也因此获得了 2016 年阿贝尔奖。如今，Anthropic 的 AI 模型将这一里程碑式的数学成果成功“形式化”——即把自然语言描述的数学论证，转化为计算机能够严格验证的 Lean 编程语言代码。 这一突破对数学界和 AI 领域都产生了深远影响。罗格斯大学数论学家亚历克斯·孔托罗维奇表示，机器能将人类数学家的成果转化为 1300 万行的严密证明，“完全让我震惊了”。帝国理工学院数学家凯文·巴扎德指出，费马大定理的形式化难度比此前 AI 完成的任何数学工作都要高出一个数量级。多伦多大学数论学家丹尼尔·利特则评价道：“如果 AI 能形式化费马大定理，那它可能能形式化任何数学证明。” 核心变化：AI 在数学领域的角色正在从辅助工具向独立研究者转变。此前，AI 在 2 月刚刚完成了玛丽娜·维亚佐夫斯卡关于球体堆积问题的菲尔兹奖级工作认证，而这次费马大定理的突破表明，AI 不仅能处理特定领域的数学问题，还能驾驭跨学科的复杂证明。按照当前的发展速度，AI 或许很快就能审查整个数学知识库，甚至发现某些公认结论中的错误——正如巴扎德所言，“两年前这还是个幻想”。 对中国跨境电商卖家和出海创业者而言，这一进展虽然看似与商业运营相距甚远，实则释放了重要信号：AI 的推理能力和长链条任务处理能力正在以指数级速度提升。当 AI 能够处理数学中最复杂的证明时，其在供应链优化、市场预测、合规审查等需要严谨逻辑的商业场景中的应用潜力也将被大幅拓展。对于依赖 AI 工具进行运营决策的卖家来说，这意味着未来可用的 AI 服务将具备更强的分析能力和更高的可靠性，值得持续关注这一技术趋势的演进。