“周二晚上，我哭了，把女儿吵醒了。”

10月8日，法国数学家雨果·杜米尼尔－科潘在一场线上会议上，讲起了自己的经历。他是2022年菲尔兹奖得主，早已经站在数学研究的顶端。让他落泪的，是OpenAI刚刚公布的一大批数学研究成果。

其中，有16个问题直接关系到他的研究。

在随后的电台采访中，他说AI像推土机一样，把自己正在研究的问题一路推平了。仅用0.1秒，经常打工的人就共情了这位顶级数学家的职场困境。它相当于——

你花了很多年学习、积累，好不容易找到一个可以暴富的商机，突然有人告诉你：

这一整套商业模式，半天前被AI用0成本落地了。

雨果·杜米尼尔－科潘当然不是唯一一个受害者。

OpenAI一次性发布了722篇数学论文，涉及到了数百项数学成果，涉及数论、几何、理论计算机科学等多个领域。

在著名的论文预印本平台arXiv上，一个人每月只能上传2篇论文，如果要把这些论文都传上去，至少也得有300多个号才行。

其中有一些相当难的问题，已经困扰科学家百年了。

比如1859年提出的黎曼猜想，已经过了167年，至今仍然悬而未决，OpenAI 说他们这次取得了重要的进展，给出了更强的“无零点区域”结果；

卡塔兰常数是否是无理数，也已经困扰数学家100多年。OpenAI说，他们已经成功证明，这确实是一个无理数；

让王虹今年获得菲尔兹奖的挂谷猜想，1917年提出，直到1971年才给出了二维的证明，2025年王虹又给出了三维的证明。这才过去一年 ，AI就给出了四维的证明。

在这次列出的成果中，类似这样的重磅突破还有很多。

更令人破防的是，这些困扰人类百年的数学难题，OpenAI解决起来却快得要命：

平均每项成果消耗的计算量，相当于ChatGPT Pro思考3个小时。

恐怖如斯。

AI三巨头，正在疯抢数学家的饭碗

老实说，这是普通人和数学家最接近的时刻。

虽然那些复杂的公式我们依然看不懂，但那种“我努力了这么多年，突然就落后了”的心情，咱普通人太懂了。

过去十几年，我们熬夜考试、加班，数学家熬夜考试、证明。大家都曾朴素地希望，自己的努力能换来一个安稳的未来。

但一夜之间，就连站在智力金字塔尖上的人，饭碗也被AI抢走了。

看到AI的这批论文，数学家们的反应是震惊、瘫坐，仿佛看到了原子弹爆炸。

无论从成果数量、广度、突破速度来看，这都是数学史上前所未有的大事件。

虽然说AI是站在了巨人的肩膀上，但问题是，谁又不是站在巨人的肩膀上呢……

虽说现在说AI的研究结果还没有经历学术界的同行审议，靠不靠得住还要另说，但这种效率和数量的碾压，还是让几乎所有从业者都压力山大。

当然，OpenAI不在乎人类的感受，他们只是一味地往数学圈扔炸弹。

这轮数学军备竞赛，在AI圈已经搞了一阵子了。

先吹响号角的是Anthropic。

就在7月19日，也就是世界杯决赛的那天晚上，Anthropic的一位研究员在X上发了一条推文，大致意思就是说，自己已经证伪了雅可比猜想。

雅可比猜想并不是什么阿猫阿狗，而是困扰了数学家80多年的重要难题。

问题描述就一句话：若一个多项式映射的雅可比行列式为非零常数，则该映射必存在多项式反函数。

这个问题很简单，但是答案比较难。简单的谜面曾经吸引无数数学家入坑，然后再也没爬上来。

在几十年的历史里，曾经多次有数学家宣布解决了这个问题，但随后又被指出，他们的证明是错的……

包括华人数学家张益唐在内，很多数学家已经被搞出了PTSD。折磨了数学家几十年以后，这个猜想就这样被一条推文轻描淡写地证伪了……

竞争对手OpenAI不甘示弱，也加入了这场数学“军备竞赛”。