AI解开了Erdős问题，但数学界别高兴太早

OpenAI宣布他们内部AI解决了困扰数学界80年的Erdős问题1196，一个斯坦福数学家收到邮件时，自己已经在这个问题上钻研了七年。这件事在Hacker News上炸了，红迪的数学版块也在讨论——AI真的能提出人类从未想到的论证，发现隐藏的结构。但作为一个每天跟计算机视觉打交道的人，我第一反应是：这个方向好发论文吗？开个玩笑。更严肃的问题是：AI找到的“解”，到底算不算数学意义上的理解？

我翻了WSJ的报道和Quanta杂志的分析，AI用到的核心思路是“随机性”和“高斯整数”的几何组合——Erdős本人当年用过的基本工具，但AI在此基础上做了一次彻底的不同路径搜索。问题在于，AI并没有“理解”为什么这个路径是对的，它只是通过大量尝试，在搜索空间里找到了一个满足条件的点。这和我们视觉领域里CNN学到特征后做分类在本质上没有区别：模型能区分猫和狗，但它不知道什么是“猫”。同样，AI解出了难题，但它无法解释为什么这个解是优雅的，也无法向人类传授方法。

那这件事的意义在哪里？我觉得是工具层面的升级。过去我们做科研，遇到复杂问题靠直觉和穷举，现在AI可以帮我们穷举更广的范围，然后人类再从中提炼出美感。但危险在于，如果数学界开始依赖AI的“黑箱解”，不再追求证明的简洁性和可解释性，那数学就变成了验证科学。我们实验室经费紧张，买个GPU都要写半天申请，但即便如此，我还是觉得应该把AI当成加速器，而不是替代品。审稿人如果看到一篇论文说“AI找到了解，但我们不知道为什么”，那估计会直接拒稿。数学的创造力，终究是人的事。

---

本文编译自 Hacker News，原文：Why the Legendary Erdős Problems Are Falling to AI | Quanta Magazine
版权归原作者所有，本文为基于公开报道的编译与独立分析。