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

正文

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

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

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

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

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

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

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

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

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

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

算法的「非人化」优势

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

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

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

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

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

但AI没有审美。

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