给AI立规矩，AI刚破80年数学难题，数学家们慌了

文章作者、来源：新智元

拒绝数学商业化！

数学家，慌了！

上月，OpenAI内部模型自主解决了困扰数学界80年的Erdős单位距离问题。

这是AI首次自主攻克领域核心开放难题。

数学领域迎来了「AlphaGO」时刻：以AI为师，「师夷长技以制夷」。

而且，像计算器一样，AI扩展人类的好奇心而非摧毁它。

事实上，数学家已经在利用这个解法的方法，并将其用于攻克其他长期存在的数学问题。

AI「让许多看似不可能的事情变得可能」。

菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）感叹：

如果AI能证明单位距离猜想，也许数学家很快就要完蛋了。

次日早上收到邮件澄清后，他才明白这是证伪而非证明，松了一大口气。

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

算法的「非人化」优势

为什么八十年的人类接力，输给了硅基算力？

原因并非AI比我们更「聪明」，而是它比我们更「非人」。

外媒报道，背后有三大原因。

首先，是「反直觉的暴力」。

人类数学家在思考时，往往带有某种审美的惯性，我们倾向于证明埃尔德什是对的，因为那符合直觉的简洁美。

但AI没有审美。

它在代数数论与离散几何这两个人类专家极少交叉的领域之间，搭建了一座诡异的桥梁，找到了一种人类因「偏见」而从未尝试的点阵排列。

第二个原因是，人类擅长深耕专业，而AI擅长综合贯通。

数学家往往专注于自己的特定领域，而AI模型则利用其广博的知识，识别出我们自己无法察觉的联系。

在这个案例中，这意味着同时调动代数数论和离散几何两个领域——它们之间的共同点，大概就像马拉松和撑竿跳高一样少。

最后，是「不间断的专注」。

AI不会疲倦，不需要接孩子放学，更不会在挫败面前退缩。

那长达7.5万字的逻辑链条，如果是人类书写，需要数年的专注；而对AI来说，那只是每秒数万亿次浮点运算中泛起的一朵浪花。

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

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

AI「秀肌肉」的同时，约60名顶级数学家、计算机科学家在莱顿大学紧急集结，签下了一份沉甸甸的文件：《莱顿人工智能与数学宣言》。

他们担心的不仅仅是「丢掉工作」。他们担心的是：数学正在从一种「公共知识」，沦为「商业黑盒」。

长期以来，数学是这个世界上最透明、最纯粹的学科。任何成果都会放在arXiv上免费共享，任何人只要有笔和纸，原则上都能验证真理。

但现在，游戏规则变了：

数据征收： 商业公司利用数学家无偿分享的论文训练AI，却在产出成果时选择「闭源」或延迟发表。

理解的断层： AI给出的证明越来越冗长、晦涩。如果一个证明正确，但全球没有一个人类能读懂它，那这还能被称为「人类的知识」吗？

权力的倾斜： 拥有顶尖算力的公司，实际上掌握了定义「什么是重要数学问题」的权力。

《莱顿宣言》的核心直指痛处：不能让商业逻辑碾压开放科学。

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

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

在AI攻克埃尔德什难题后，人们发现AI的解法虽然正确，却极其古怪。它更像是一个「神谕」：它告诉你结果，却不解释为什么。

这正是人类数学家坚守的底线：数学不仅仅是产生一系列「正确结论」的工厂，它更是在形成结论的过程中，赋予人类以理解、清晰度和判断力。

「计算器可以告诉我们1加1等于2，但它永远无法告诉我们为什么要追求真理。」

《莱顿宣言》的出现，是人类在算法荒原上划出的一道红线。它提醒我们，在AI时代，我们必须守住那道「莱顿围栏」：

披露权： 任何论文必须透明披露AI的使用。

验证权： 商业AI不能垄断真理的解释权。

自主权： 数学的发展应由好奇心驱动，而非由算力盈利率驱动。

想象一下，如果未来的数学书里写满了人类看不懂的符号，而解释这些符号的钥匙锁在某些公司的保险柜里，那将是人类智力史上最黑暗的一天。

守住数学，就是守住人类作为逻辑物种的最后尊严。

参考资料：

https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84?mod=e2tw

https://x.com/GoodfireAI/status/2054962242022777189

https://leidendeclaration.ai/

https://www.scientificamerican.com/article/mathematicians-sign-declaration-to-rein-in-ai-use/