AI破解80年数学难题，数学家为何惊慌？

数学家，陷入焦虑。 这事颇具深意。上个月，OpenAI内部模型悄然解开了困扰数学界整整80年的Erdős单位距离问题——这是AI首次自主攻克一个领域内的核心开放猜想。 数学领域，迎来了它的「AlphaGO时刻」。可以这么说，已经开始有人视AI为导师，借助其方法反向攻克更多难题。

而且，就像计算器一样，AI并非要扼杀好奇心——恰恰相反，它在拓展好奇心。事实上，已有不少数学家利用AI提供的证明思路，将其应用于破解其他长期悬而未决的数学命题。AI「使得许多原本不可能的事情变得触手可及」。

菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）得知此事的反应极具代表性：如果AI能证明单位距离猜想，或许数学家很快就会面临失业。不过，第二天早上收到邮件澄清后，他才明白这是证伪而非证明——深深松了口气。

数学，这一人类心智的荣耀，正遭遇一场前所未有的「降维打击」。

算法的「非人化」优势

一个顺理成章的问题：为何历时八十载的人类接力跑，最终败给了硅基算力？ 原因并非AI比人类更「聪明」，而在于它比我们更「非人」。 据外媒分析，背后至少有三条关键因素。

首先是**「反直觉的暴力」**。 人类数学家思考时，往往被审美惯性所束缚——我们倾向于证明埃尔德什是正确的，因为这符合直觉上的简洁美感。但AI没有审美。它直接跨越代数数论和离散几何这两个人类专家极少交叉的领域，在二者之间搭建了一条诡异的桥梁。最终找到的点阵排列，在人类看来几乎不可能——因为我们有「偏见」这道拦路虎。 其次是综合贯通能力。 数学家习惯于深耕自己的专业领域，而AI模型则凭借其广博的知识库，识别出我们自己无法觉察的关联。在这个案例中，它同时调动了代数数论和离散几何——这两个领域之间的共同点，大概跟马拉松和撑竿跳高一样少。 最后是**「不间断的专注」**。 AI不会疲劳，不需要接送孩子放学，更不会在挫败面前轻言放弃。那段长达7.5万字的逻辑链条，如果由人类来书写，需要数年的专注；但对AI而言，那只是每秒数万亿次浮点运算中泛起的一朵浪花。

当真理的发现变为算力资源的副产品，数学研究的性质正在发生质变。

莱顿宣言：防范「真理的私有化」

几乎在同一时间，一场紧急闭门会议在莱顿大学举行。大约60位顶级数学家、计算机科学家签署了一份沉甸甸的文件——**《莱顿人工智能与数学宣言》**。

他们担心的，不只是「丢掉饭碗」。更深层的忧虑在于：数学正从一种「公共知识」，沦为「商业黑盒」。 长期以来，数学是世界上最透明、最纯粹的学科。任何成果都会放在arXiv上免费共享，任何人只要有笔和纸，原则上都能验证真理。 但现在，游戏规则变了： - **数据征收**：商业公司利用数学家无偿分享的论文训练AI，产出成果却选择「闭源」或延迟发表。 - **理解的断层**：AI给出的证明日益冗长、晦涩。如果一个证明正确，但全球没有一个人类能读懂它——这还能被称作「人类的知识」吗？ - **权力的倾斜**：拥有顶尖算力的公司，实际上掌握了定义「什么是重要数学问题」的权力。 《莱顿宣言》的核心直指痛处：**不能让商业逻辑碾压开放科学**。

如果数学家失去了对研究方向的自主权，如果真理必须通过付费API才能获取，人类文明的逻辑基石将面临塌陷。

结语：人类要的是答案，还是理解？

在AI攻克埃尔德什难题后，人们发现它的解法虽然正确，却极其古怪。它更像一个「神谕」：告诉你结果，却不解释为什么。 这恰恰是人类数学家坚守的底线：**数学不仅仅是产生一系列「正确结论」的工厂，它更是在形成结论的过程中，赋予人类以理解、清晰度和判断力。** 「计算器可以告诉我们1加1等于2，但它永远无法告诉我们为什么要追求真理。」 《莱顿宣言》的出现，是人类在算法荒原上划出的一道红线。它提醒我们：在AI时代，必须守住那道「莱顿围栏」： - **披露权**：任何论文必须透明披露AI的使用情况。 - **验证权**：商业AI不能垄断真理的解释权。 - **自主权**：数学的发展应由好奇心驱动，而非算力盈利率驱动。 想象一下，如果未来的数学书里写满了人类看不懂的符号，而解释这些符号的钥匙锁在某些公司的保险柜里——那将是人类智力史上最黑暗的一天。 守住数学，就是守住人类作为逻辑物种的最后尊严。

来源：互联网