上月，OpenAI内部模型自主解决了困扰数学界80年的Erdős单位距离问题，标志着AI首次独立攻克领域核心开放难题。这一事件被比作数学领域的「AlphaGO时刻」——人类开始以AI为师，探索此前难以想象的解法。菲尔兹奖得主蒂莫西·高尔斯最初感叹“数学家很快就要完蛋了”，直到次日收到澄清邮件，才明白AI是证伪而非证明，松了一口气。算法的“非人化”优势，正对数学这块人类心智的荣耀发起前所未有的挑战。为什么八十年的人类接力输给了硅基算力？原因并非AI更聪明，而是它更“非人”。首先，AI没有审美偏见，能在代数数论与离散几何这两个人类专家极少交叉的领域之间搭建诡异桥梁，找到人类因“偏见”而从未尝试的点阵排列。其次，人类擅长深耕专业，而AI擅长综合贯通：在这个案例中，它同时调动两个领域，其共同点就像马拉松和撑竿跳高一样少。最后，AI不会疲倦，长达7.5万字的逻辑链条对人类需要数年专注，对AI只是每秒数万亿次浮点运算中的一朵浪花。当真理发现变成算力资源的副产品，数学研究的性质正在质变。AI“秀肌肉”的同时，约60名顶级数学家与计算机科学家在莱顿大学紧急签署《莱顿人工智能与数学宣言》，担忧数学从“公共知识”沦为“商业黑盒”。他们担心三大问题：商业公司利用数学家无偿分享的论文训练AI，却选择闭源或延迟发表；AI给出的证明越来越冗长晦涩，全球无人能读懂时，它还算“人类的知识”吗；拥有顶尖算力的公司实际上掌握了定义“什么是重要数学问题”的权力。宣言核心直指痛处：不能让商业逻辑碾压开放科学，如果真理必须通过付费API才能获取，人类文明的逻辑基石将面临塌陷。在AI攻克Erdős难题后，人们发现其解法虽然正确却极其古怪，更像一个“神谕”：它告诉你结果，却不解释为什么。这正是人类数学家坚守的底线——数学不仅仅是产生正确结论的工厂，更是在过程中赋予人类理解、清晰度和判断力。《莱顿宣言》划出三道红线：披露权，任何论文必须透明披露AI的使用；验证权，商业AI不能垄断真理的解释权；自主权，数学的发展应由好奇心驱动，而非算力盈利率。守住数学，就是守住人类作为逻辑物种的最后尊严。想象一下，如果未来数学书里写满人类看不懂的符号，而解释这些符号的钥匙锁在公司的保险柜里，那将是人类智力史上最黑暗的一天。