新智元报道
新智元报道
【新智元导读】数学，这块人类心智的荣耀，正面临一场前所未有的「降维打击」。当算法的「非人化」优势把80年的接力变成32小时的副产品时，我们不得不问：人类到底想要一个又一个正确答案，还是想要理解这些答案的过程？
数学家，慌了！
上月，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不能垄断真理的解释权。
自主权： 数学的发展应由好奇心驱动，而非由算力盈利率驱动。
想象一下，如果未来的数学书里写满了人类看不懂的符号，而解释这些符号的钥匙锁在某些公司的保险柜里，那将是人类智力史上最黑暗的一天。
守住数学，就是守住人类作为逻辑物种的最后尊严。
参考资料：
编辑：大卫
