一位菲尔兹奖得主，被AI气哭了。

2022年菲尔兹奖得主、法国数学家雨果·杜米尼尔-科潘在线上会议里说：“周二晚上，我哭了，把女儿吵醒了。”原因是OpenAI一次性放出722篇数学手稿，其中16个方向，正好压在他研究了十几年的核心领域上。

他不是矫情。这感觉就像：你熬了十年找到一门能暴富的生意，突然有人告诉你，AI用0成本、3小时，把整套商业模式跑通了。

01 一夜之间，数学界被“地毯式轰炸”

10月6日，OpenAI在GitHub公开722篇手稿、372个结果族，覆盖数论、几何、概率、理论计算机等方向。平均每个结果消耗算力≈ChatGPT Pro思考3小时。

里面有几颗“核弹”：
• 准黎曼猜想：给出ζ函数与狄利克雷L函数“无零点区域”Re(s)>7/8，附带Lean形式化；

• 卡塔兰常数：声称证明其为无理数；

• 挂谷猜想：王虹2025年证完三维，OpenAI直接推进到“三维极大函数版”+“四维豪斯多夫维数=4”；

• 雅可比猜想：Anthropic那边先传出Claude Fable 5协助构造反例；

• 纳维-斯托克斯、唯一游戏猜想、希尔伯特第十问题……一堆百年级老题被“声称解决”。

舆论瞬间炸了：  
“最后一届纯人类菲尔兹奖”“AI超越王虹”“韦东奕们要下岗”。

但先别急，这里有几层必须拆开看。

02 AI没“从零超越”王虹，它是踩着她的肩膀跳的

OpenAI的074号手稿（三维极大函数、四维挂谷），明确引用了：
• Guth 的管束几何估计；

• 王虹与Zahl的127页三维证明；

• 王虹与任康的平面Furstenberg定理；

• 王虹-Zahl点积定理。

也就是说：王虹把三维那堵墙凿穿，AI顺着她铺的石头，往四维又盖了一层。

而且——  
王虹的三维证明，经历了一年半同行审读、陶哲轩等顶尖学者长篇验算，才成为领域基石。  
OpenAI的四维稿，175页，未完全Lean形式化、未同行评审、提示词未公开。数学界当前态度是：“如果成立，是神迹；在验证前，只是声称。”

发布两天后，OpenAI自己就撤了3篇错误论文，剩719篇。很多手稿连OpenAI内部数学家都没完全读懂。

所以准确说法是：  
AI不是“斩杀”了王虹，而是把人类已铺好的路，用蛮力又往前犁了三公里。犁得对不对，还没验收。

03 真正被冲击的，不是“数学家这个职业”，是“数学家的节奏”

菲尔兹奖得主Tim Gowers说：“AI能在比数学家更危险的水域里坚持更久而不被淹没。”  
Tsimerman（本届菲尔兹奖得主之一）自己研究过的方向，AI沿着他不敢走的支路走通了。

冲击分三层：

第一层：选题权被剥夺  
博士生刚定题，AI宣布“这题我证了”。不是做不出，是不用做了。Reddit上已有算子代数博士生连夜把特殊情形整理成独立短文发掉，原来写一半的论文作废。

第二层：探索过程被压缩  
数学的价值不止在“结论”，还在失败里长出的新工具、新直觉。AI直接吐证明，可能跳过“卡住—试错—造概念”的十年暗路。瑟斯顿当年就担心：定理证明太快，方向会空心化。

第三层：验证瓶颈反转  
以前是“证明难，验证易”。现在是“AI生成易，人类验证崩不住”。  
一篇175页AI证明，全世界能细读的专家不到20人。722篇同时砸下来，审稿体系直接瘫痪。

04 韦东奕们会被取代吗？

不会“取代”，但会“重定义”。

韦东奕、王虹这一层顶尖头脑，核心能力不是算得快，而是：
1. 从混沌里提出“值得用十年去碰”的问题；
2. 判断哪个方向有审美、有结构、有物理直觉；
3. 在没KPI、没反馈、没应用前景时坐冷板凳；
4. 把不同领域（调和分析/几何测度/偏微）揉成新框架。

AI现在强在：文献检索、引理补全、组合搜索、形式化校验、反例构造。  
AI现在弱在：自己长出“哎，这儿有个该死的好问题”。

王虹自己说AI是“主动性助推器”。丘成桐牵头建数学专用AI实验室，不是投降，是把AI当显微镜。

未来十年大概率这样：
• 普通计算/补全/审稿助理→AI化；

• 数学民工（刷引理、跑分类）→被吃掉；

• 顶尖数学家→从“证明工”变成“提问者+框架师+验证官”。

• 菲尔兹奖不会消失，但获奖工作里会带AI署名或AI痕迹，就像今天论文里带计算机。

05 为什么AI公司非要炸数学圈

不是因为爱数学。是因为数学是AI军备竞赛最完美的“红颜祸水”：
- 有严格对错（形式化可验）；
• 有百年难题（故事性拉满）；

• 有智力金字塔尖符号（菲尔兹奖=流量密码）；

• 能向资本证明“下一代模型真的更聪明”。

GPT3→GPT4→GPT5，迭代周期从3年压到1年。数学破题=最便宜的“秀肌肉”。  
Anthropic证伪雅可比，OpenAI马上集中一万agent抢NS方程；你发四维挂谷，我发准黎曼。这不是学术，是产品发布。

25位菲尔兹奖得主（含陶哲轩）联名批评：把未经验证的名题批量当营销，是在透支数学信任。人类数学协会甚至呼吁暂停与OpenAI合作。

06 普通人该焦虑什么

文章里那句最狠：  
“AI接过了思考和创造，把繁琐劳动留给了我们。”

我们以前信：越专业、越有创造力、越难被替代。  
现在发现：正好反过来——  
写作、画图、代码、证明、诊断、投研，先被碾；  
搬砖、做饭、通下水道、抱孩子，反而暂时安全。

数学家破防，是因为他们是我们想象里“最后堡垒”的人。堡垒先塌，普通人当然慌。

但换个角度：  
AI把“已知问题”的价格打为零，反而让“提新问题”变贵了。  
以后最值钱的不是“我会证”，是“我知道该问什么”。

07 结论：不是斩杀，是改行

王虹不会被斩杀。她会被AI托着，去碰更野的问题。  
韦东奕不会被斩杀。他的纯粹与专注，反而在AI噪音里变成稀缺品。  
被斩杀的，是“靠熟练证明换饭碗”的那层中产数学劳动。

数学没结束。  
只是“纯人类数学”这个版本，关服在即。  
下一版本叫：人提问题，AI跑引理，人判审美，机器出收据。

历史不会跟我们打招呼。但王虹们的价值，恰恰是在AI能证一切之后，还愿意问一句：  

“可这问题，值不值得问？”