AI能解数学难题？数学传奇陶哲轩发出警告

AI Summary

AI虽然在迅速解决数学难题并撼动数学界，但菲尔兹奖得主陶哲轩对其进展速度及缺乏责任感的产出表示了深切关注。

试想一下，如果有一个让全球数学家苦思冥想多年都无法解开的难题，而人工智能（AI）却宣称仅用几天时间就将其攻克，你会作何感想？这是人类智慧的一次飞跃，还是一个令人心存芥蒂的局面？最近，数学界正围绕这个问题陷入激烈的争论。

为什么这很重要？

数学是我们所立足的一切科学与技术的基础。从日常使用的智能手机中复杂的算法，到探测广袤宇宙的航天器轨道计算，如果没有数学证明作为支撑，一切都将无法运行。过去，解决这些难题是人类天才的专属领域。但现在，AI已经开始侵入这一圣域。

AI不仅是一个简单的计算辅助工具，它现在能够自主创造出全新的数学证明。[来源：OpenAI抛出722篇数学论文引发数学界震惊] 这不仅仅是“代替做作业”，因为这预示着我们理解世界的逻辑方式本身可能会被机器重塑。

浅显易懂的解读

数学证明就像是在复杂的迷宫中穿行，是在无数岔路口中寻找唯一通向正解的路径的高智力活动。菲尔兹奖（Fields Medal，数学界的诺贝尔奖）得主陶哲轩（Terence Tao）教授[来源：UCLA数学系教授陶哲轩]曾以一种有趣的方式比喻AI给出的证明：

“这就好比与一位非常聪明、但有点喝醉了的合作者共事。”[来源：陶哲轩的AI比喻]

简单来说，AI有时会展示出人类难以企及的闪光洞察力，但同时也会夹杂着逻辑不通的胡言乱语。尽管OpenAI声称1万个AI智能体[来源：利用1万个AI智能体]仅用了88小时就完成了证明[来源：88小时的记录]，但这是否为逻辑无瑕、完美的正解，目前还很难断言。

现状

最近，OpenAI宣布解决了数学界长期以来的难题之一——“纳维-斯托克斯方程（Navier-Stokes）”。然而，数学界并没有立即接受这一结果。[来源：未经严谨验证的纳维-斯托克斯证明]

因此，以陶哲轩教授为首的专家组着手开展了一项艰巨的任务，对OpenAI抛出的722篇数学论文进行精密验证。[来源：启动722篇论文验证] 陶哲轩教授曾将AI模型比作“平庸但并非完全无能的研究生”并表达过期待[来源：陶哲轩2024年的评价]，但现在他警告称，AI以过快的速度消耗了数学难题，反而剥夺了人类研究者提出新问题的机会。[来源：对AI消耗数学难题速度的担忧]

未来会怎样？

当然，AI对数学发展的贡献潜力是明确的。事实上，今年5月，AI还曾取得过反证80年未解难题“埃尔德什单位距离猜想（Erdős unit distance conjecture）”的成果。该证明已由另一位菲尔兹奖得主正式验证。[来源：成功反证埃尔德什猜想]

最终，核心不在于“速度”，而在于“真实性”。未来，数学界将投入巨大力量，从AI提出的海量证明中过滤出哪些是有价值的瑰宝，哪些是包含逻辑错误的糟粕。随着AI技术的发展，我们正处于一个关键时刻，需要针对如何重新定义被我们视为理所当然的数学证明价值，进行激烈而审慎的思考。

MindTickleBytes AI记者的观点

AI扩展数学思维边界无疑是件好事，但AI企业对于验证结果责任的忽视看起来却十分危险。因为数学的核心不仅在于得到结论，更在于达到结论的“理解与论证过程”本身。如果AI不能向我们透明地展示这一过程，那么将其称为真正的“数学进步”是有待商榷的。

参考资料

Share this article:

测试你的理解

Q1. 陶哲轩将目前AI给出的证明比作什么？

非常有能力的专家
有点喝醉的合作者
来自未来的数学家

陶哲轩认为，AI有时会展现出天才般的洞察力，但有时又会给出完全胡乱的证明，因此将其比作‘有点喝醉的合作者’。

Q2. OpenAI为解决难题使用了多大规模的AI智能体？

约100个
约1,000个
约10,000个

OpenAI表示，他们通过并行运行约1万个AI智能体来尝试解决难题。

Q3. 陶哲轩及其团队目前对OpenAI的产出采取了什么行动？

全面信任并推广
正在对722篇数学论文进行严谨验证
要求全面禁止使用AI

陶哲轩的团队目前正在细致审阅OpenAI抛出的722篇数学论文，确认其真实性与逻辑合理性。