OpenAI一夜甩出722篇论文,数学家要失业了?一位人大教授算了一笔账

问的都是同一个问题："教授，数学系还能报吗？"

起因是10月6日，OpenAI把722篇数学手稿一次性扔上了网——准黎曼猜想、霍奇猜想、BSD猜想……一众数学界的"圣杯"级问题赫然在列。再往前一个月，这家公司刚宣布：一万个AI智能体、八十八小时，"解决"了纳维–斯托克斯方程。

热搜评论区一片欢腾："数学家的时代结束了。""数学专业，第五天坑。"

作为一个在人民大学教了多年书、每天用拓扑和几何研究蛋白质复合物的应用数学工作者，我想说几句大实话。

不绕弯子，直接算账。

真相一：OpenAI最不想让你看的，是同一页面上的小字

先问一个问题：攻克千禧难题，谁说了算？

不是发布会，是克雷数学研究所——出题并悬赏百万美元的机构。

截至我写完这篇文章，纳维–斯托克斯方程在克雷官网上依然挂着两个字：未解决。

那OpenAI发布的166页"证明"是什么？是一个"相关版本"的解答。从"相关版本"到原问题，中间还隔着需要人类数学家验证的距离——全球专家至今还在逐页研究它究竟如何成立。

再看那722篇手稿：约四成没有完成形式化验证。OpenAI自己的说明里写着："未形式化的结果可能存在问题。"

还有成本。"平均三小时一个结果"听着便宜，完整的账单却是：约270万条消息、1300亿个输出标记、耗资数百万美元——外加发布之后，全世界数学家无偿投入的逐篇核验劳动。

发布会上说的是"数学发现的生产方式正在改变"。

没说的后半句是：生产方式变了，验收标准还在人手里。

真相二：数学有63个分支，AI真正碰过的只有5个

数学不是几十道名题。按国际通用分类，它有63个一级分支、六千多个细分方向，每年新产出十几万条成果。

我把过去十年AI的"数学战绩"逐分支盘了一遍：

数论：AI在椭圆曲线数据里发现了新的统计规律，启发人提出猜想——注意，是"启发"；

拓扑与表示论：AI提示了两条关键线索，人顺着线索证明了新定理（2021年《自然》杂志）；

组合数学：AI构造出更大的"帽集合"，刷新纪录——这是它最亮眼的纯数学战绩；

计算数学：AI找到了更快的矩阵乘法算法；

其余五十多个分支：要么空白，要么只是帮着做数值加速。

看出规律了吗？AI的全部贡献属于同一类：在人画好的地图里，找路、跑腿、报信。

可数学史上真正深刻的进展，从来不是找路，而是画地图。

伽罗瓦画出"群"这张地图之前，"五次方程能不能解"连被讨论的空间都不存在；格罗滕迪克画出"概形"之前，一批重大猜想连被"搜索"的资格都没有。

搜索只能在已有的地图上进行。而地图，是人画的。

真相三：拿了诺奖的AlphaFold，恰恰证明人更值钱

有人会说：那AlphaFold呢？蛋白质折叠不都被AI解决了吗，还拿了2024年诺贝尔化学奖。

这件事恰好是我的本行——我的工作就是用数学研究蛋白质复合物。讲两个很少人提的细节。

第一，AlphaFold的底座叫PDB，是全世界晶体学家、核磁共振工作者五十年实验劳动攒下的数据库，里面还凝结着几代数学家发展的傅里叶分析与优化算法。离开这座人类亲手建造的数据大厦，再强的模型也折叠不出一个蛋白质。

第二，诺奖评审词写得非常清楚：表彰的是"结构预测"，不是蛋白质科学的终结。预测只回答"折叠成什么样"，不回答"为什么折叠、怎样折叠"——而后者，才需要真正的理论。

结果呢？AlphaFold关闭了一个老问题，同时打开了上百个新问题：折叠的动力学、复合物的组装、突变致病的机理……每一个，都在等新的数学。

机器每攻下一个答案，就为人制造出更多的问题。

数学家会失业吗？不会，但会"变形"

说得直白点：打算盘的被淘汰了，数学没有死；计算器普及了，数学家反而更多了。

这一次也一样。证明的"流水线环节"会被机器接手，而数学家正在向四个新位置升级：

出题的人。 答案过剩的时代，好问题是最硬的通货。

翻译的人。 几百篇机器手稿没人读得懂，"把机器语言翻译回人类思想"本身就是高价值岗位。

审计的人。 AI进入医疗、金融、司法，谁来为算法出具"数学安全证书"？只能是数学家。

开路的人。 蛋白质、大脑、传染病……海量生命数据等着被数学化，第一个写出方程的人，就是新学科的奠基人。

最后，说说中国

今年4月30日，习近平总书记在上海出席加强基础研究座谈会，讲了一句分量很重的话："基础研究是整个科学体系的源头，是所有技术问题的总机关。"

同一年，中国数学家摘下菲尔兹奖，人才密度与社会声望来到历史高点；国际基础科学大会在北京举办，中国学者拿下数学领域最多的奖项。

一边有人说"数学家要失业了"，一边是国家把基础研究摆在前所未有的位置。你信哪个？

在答案越来越便宜的时代，理解越来越贵；在速度被崇拜的时代，慢越来越是力量。

所以，回到开头那个问题：数学系还能报吗？

我的答案是——如果孩子真心喜欢，这恰恰是三百年未遇的好时候。因为全世界都在找人，把AI吐出来的答案，变成人类真正的理解。

你会支持孩子报数学系吗？评论区聊聊。