返回快讯

菲尔兹奖得主Deng Yu:AI若解尽数学就写百合

2026年菲尔兹奖得主、37岁的芝加哥大学数学教授Yu Deng在社交平台写道:若人工智能能解决所有数学问题,他就回家写自己的百合小说。

他随后向英文媒体澄清,目前并未在写百合小说,那句话完全是玩笑,也不相信人工智能能发展到解决他帖子里提到的全部数学问题。同帖还写,人工智能已在数学圈造成焦躁与不耐,这波前沿过去一两年后局面会逐渐清楚,数学会慢慢适应,新的生态正在成形。

Yu Deng因从硬球动力学长时间严格推导玻尔兹曼方程、从非线性色散系统推导波动力学方程,以及发展非线性动力学的概率方法,于7月23日在费城国际数学家大会获菲尔兹奖,与Hong Wang、John Pardon、Jacob Tsimerman并列。授奖词称这项工作是把物理基本定律从第一原理推导出来的世纪级进展之一。他本科先后在北京大学和MIT,博士在普林斯顿,与Zaher Hani、Xiao Ma合作的近两百页论文于2025年3月发表。

他公开说过对日本漫画尤其百合题材的兴趣始自MIT时期,获奖介绍视频里的办公室可见相关读物;得知获奖时正在读恋爱向小说。同期另一位菲尔兹奖得主Jacob Tsimerman则选择离开数学,前往OpenAI做安全研究,理由是眼看开放问题被模型解决。科学界同时在讨论人工智能是否触及百万美元级开放问题。

发言本身不改变证明或奖金,但把“模型会不会把定理生产外包掉”从研讨会搬到了公开场。买方是要抢数学人才与算力叙事的模型公司,卖方是仍以论文和问题清单为职业资产的数学家。资金与注意力流向证明助手、形式化验证和安全岗位。受益的是能把开放问题当成评测的实验室;承压的是把全部职业身份押在“尚未被机器穷尽的问题”上的年轻研究者。

来源:公开信息

ABAB AI 解读

Yu Deng的研究本就是在给“微观可逆如何长出宏观不可逆”补严格桥梁,现在他用一句玩笑把同一问题翻到职业层面:若机器把问题清单清空,人还剩什么不可逆的选择。菲尔兹奖的规则是40岁以下、四年一次,奖励的是还能定义下一轮问题的人,不是已经写完的定理本。他把后路写成百合小说,等于承认审美判断暂时还无法被同一套自动求解器替换。

资本路径在另一位得主身上更直白。Jacob Tsimerman拿奖后去OpenAI,走的是“问题被模型吃掉之前,先进入造模型的机构”。数学人才从大学讲座教授流向安全与对齐团队,薪水与算力由实验室支付,论文优先级让位于内部评测。Yu Deng选择留在芝加哥大学继续做方程,同时用公开玩笑标定自己不相信“全部问题可解”。两条路径争的是同一批40岁以下头脑。

对照2022年Maryna Viazovska的球堆积和2014年Maryam Mirzakhani曾想当作家:数学家把文学当备胎并不新鲜,新鲜的是备胎被说成“机器胜利条件”。行业阶段是工具渗入证明助手、尚未接管问题定义权。Hilbert第六问题的狭义版本刚被人工团队写了近两百页,说明最硬的推导仍靠长时间组合结构,而不是一次对话生成。

结构上这是技术替代的边界测试。替代若只发生在可形式化的推导步骤,数学家会变成问题挑选者和验收者;若连问题清单也被模型穷尽,定价权就从期刊审稿转到评测基准。机制是:开放问题一旦能被当成竞赛分数,资本就会继续堆模型;不能被当成分数的部分——题目好不好、值不值得做——仍留在人这边。玩笑把后一部分命名为小说,是在说判断力还没有被收进损失函数。

ABAB News · 认知定律

  1. 机器先抢可验收的题,人留下不可验收的判断

  2. 后路写成小说,说明审美还没被写进评测

  3. 奖给40岁以下,是在买下一轮提问权,不是买题解仓库