数学家，慌了。

这事说来有点意思。上个月，OpenAI内部模型悄无声息地攻克了困扰数学界整整80年的Erds单位距离问题——这是AI首次自主破解一个领域内的核心开放难题。

数学领域，迎来了它的「AlphaGO时刻」。可以这么说，开始有人想着以AI为师，用其方法反过来攻克更多问题。

而且，就像计算器一样，AI不是来摧毁好奇心的。恰恰相反，它在扩展它。

事实上，已经有一些数学家正在利用AI给出的解法思路，将其用于攻克其他长期悬而未决的数学命题。AI「让许多看似不可能的事情变得可能」。

菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）在得知这个消息时的反应很有代表性：如果AI能证明单位距离猜想，也许数学家很快就要完蛋了。

不过第二天早上收到邮件澄清后，他才明白这是证伪而不是证明——松了一大口气。

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

AI为何能率先突破

一个很自然的问题：为什么一座八十年的人类接力跑，最终输给了硅基算力？

原因并不在于AI比人类更「聪明」，而在于它比我们更「非人」。

据外媒分析，背后至少有三大因素。

「反直觉的暴力」

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

但AI没有审美。它直接跨过代数数论和离散几何这两个人类专家极少交叉的领域，在之间搭建了一种诡异的桥梁。

最终找到的点阵排列，在人类看来几乎不可能——因为我们有「偏见」这个拦路虎。

综合贯通能力

数学家倾向于深耕自己的专业领域，而AI模型则利用其广博的知识库，识别出我们自己无法察觉的关联。

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

「不间断的专注」

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

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

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

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

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

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

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

但现在，游戏规则变了：

• 数据征收：商业公司利用数学家无偿分享的论文训练AI，产出成果却选择「闭源」或延迟发表。
• 理解的断层：AI给出的证明日益冗长、晦涩。如果一个证明正确，但全球没有一个人类能读懂它——这还能被称为「人类的知识」吗？
• 权力的倾斜：拥有顶尖算力的公司，实际上掌握了定义「什么是重要数学问题」的权力。

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

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

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

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

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

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

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

• 披露权：任何论文必须透明披露AI的使用情况。
• 验证权：商业AI不能垄断真理的解释权。
• 自主权：数学的发展应由好奇心驱动，而非算力盈利率驱动。

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

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