【新智元导读】数学，这块人类心智的庆幸，正面对一场前所未有的「降维进攻」。当算法的「非人化」优势把80年的接力造成32幼时的副产品时，我们不得不问：人类到底想要一个又一个正确答案，还是想要理解这些答案的过程？ 它在代数数论与离散几何这两幼我类专家极少交叉的领域之间，搭建了一座诡异的桥梁，找到了一种人类因「私见」而从未尝试的点阵分列。 在这个案例中，这意味着同时调动代数数论和离散几何两个领域——它们之间的共同点，或许就像马拉松和撑竿跳高一样少。 AI「秀肌肉」的同时，约60名顶级数学家、推算机科学家在莱顿大学垂危集结，签下了一份沉甸甸的文件：《莱顿人为智能与数学宣言》。 持久以来，数学是这个世界上最通明、最纯正的学科。任何成就城市放在arXiv上免费共享，任何人只有有笔和纸，准则上都能验证真谛。 理解的断层： AI给出的证明越来越冗长、晦涩。若是一个证明正确，但全球没有一幼我类能读懂它，那这还能被称为「人类的知识」吗？ 这正是人类数学家坚守的底线：数学不仅仅是产生一系劣赘正确结论」的工厂，它更是在形成结论的过程中，赋予人类以理解、清澈度和判断力。 设想一下，若是未来的数学书里写满了人类看不懂的符号，而诠释这些符号的钥匙锁在某些公司的保险柜里，那将是人类智力史上最阴郁的一天。