刚拿菲尔兹奖就官宣加入OpenAI?这位数学家一边预言AI灭绝一边投身AI安全,戏剧性拉满

温故智新AIGC实验室

TL;DR:

刚拿下菲尔兹奖,转头就宣布入职OpenAI。Jacob Tsimerman用行动证明什么叫“打不过就加入”——他一边论文分类AI如何灭绝人类,一边预言数学家两年内被AI超越。更绝的是,他学生刚用Claude推翻87年数学猜想,师徒俩分别进了OpenAI和Anthropic。这剧情,编剧都不敢这么写。

戏剧官宣:领奖台上的“转会发布会”

7月23日,费城,国际数学家大会。

Jacob Tsimerman刚把菲尔兹奖奖章揣进口袋,记者就问起未来打算。他微微一笑,甩出一句:“马上入职OpenAI,搞AI安全。”

全场掌声变成了惊呼。

这位新科得主的履历堪称完美:连续两年IMO金牌(2004年满分),16岁读大学,两年本科,普林斯顿博士,多伦多大学史上最年轻正教授。获奖理由是攻克了悬置近40年的André-Oort猜想,让他成为首位在加拿大高校任职期间获此荣誉的数学家。

但就是这位根正苗红的数学家,此前一直对AI高度警惕。2025年,他和同事合写了一篇论文,标题直白得吓人:《涉及AI的灭绝性未来的分类学》,用数学家的严谨给“AI如何团灭人类”建分类学。他的X账号(2014年加入)也只发过一条帖子,讨论的主题正是“数学家何时会失业”。

所以当他说要去OpenAI时,人们第一反应是:你认真的?1

唯一那条帖子:早已看穿一切

要理解这种反差,必须去翻他唯一的那条X帖子。

那是对数学家Daniel Litt的回复,核心观点是:数学研究本质上就是“问题解决”(problem-solving),而且几乎是全部。他举例说,如果哪天有人(或AI)解决了Zilber-Pink猜想的一般形式,他的整个研究领域就消失了——一整个学术共同体都得重新找问题。

过去,那个“有人”百年一遇;现在,可能是个AI,而且“随时会来”。

他在AMS Notices访谈里给出了更激进的时间表:“两年内,AI证明定理的能力就会超过我们。到时候我们只需要说:这是命题,去证吧。”2

他还设想了一个“AI神谕机”场景:你提出一个定义,立刻问它一千个问题,答案不断返回,你不断修正定义。整个研究方向,几天内就能开创并终结。

“这与现代数学,是非常、非常不同的两种东西。”他写道。

有意思的是,他本人已经在低配版神谕机上下功夫了:用ChatGPT和Claude做日常研究,2025年往arXiv传了5篇论文。他说:“它给的证明通常是错的,但通常能指出正确方向,帮我走完80%。”2

正因为用得深,他看透了同行的“cope”(自我安慰):盯着AI现在不行,就推断它永远不行。

那么,既然他这么警惕AI,为什么还要加入OpenAI?他在访谈中解释:支持暂停AI,但知道不可能。既然挡不住,不如进场搞清楚它、参与塑造它的安全方向,否则“我们可能会被甩下”。2逻辑通了:他加入的是安全部门,从风险预言家变成了内部“守门员”。

师徒联动:一人一家AI公司

故事在颁奖前夕迎来了最戏剧性的插曲。

7月20日,世界杯决赛之夜,数学家Levent Alpöge在X上公布了一枚重磅炸弹:他发现了雅可比猜想的一个反例。这个猜想自1939年提出,悬置整整87年,曾登上Smale的21世纪难题清单。而帮他找出反例的,是Anthropic上个月发布的Claude Fable 5。反例仅216个字符,任何数学家都能手工验证。菲尔兹奖得主Timothy Gowers赞叹:“这是我第一次见到LLM解决自己领域之外一个‘久闻大名’的难题。”3

重点来了:这位Alpöge,本科时期曾受教于Tsimerman(毕业论文导师),现在的工作单位正是Anthropic。

于是——学生用AI推翻百年猜想,老师刚拿到菲尔兹奖,然后老师转身加入OpenAI搞安全。师徒二人,一人一家。这剧情,连编剧都得佩服现实的大胆。

数学家的未来:是转型还是被取代?

Tsimerman的选择并非孤例。这届菲尔兹奖四位得主中,他率先跨入AI产业。其他人——王虹、邓煜、John Pardon——虽然目前留守学界,但按AI实验室现在的抢人速度,这份名单恐怕很快就会更新。4 AI在数学上的能力正在飞速逼近他的预言:2025年AI拿下IMO金牌,2026年OpenAI模型解决了80年未破的“平面单位距离问题”,Google DeepMind的Aletheia系统在“First Proof”挑战中破解了6道研究级难题。4 AI形式化证明更是将人类两年工作量压缩到五天。

面对这股洪流,Tsimerman选择主动进场。他在唯一帖子的结尾写道:“数学家也是人,需要钱、住房、食物、爱、锻炼,以及各种形式的意义。如果解题的乐趣消失了,很多人可能就不想再做数学了。”

现在,他找到了新的意义:在行业最前沿,确保AI成为工具而不是终结者。

也许,这正是数学家的新职业方向。


引用:


  1. Jacob Tsimerman的X账号 · X · 检索日期2026/7/24 ↩︎

  2. “一个来自菲尔兹奖得主的思考” · AMS Notices · 美国数学会 · 2026 · 检索日期2026/7/24 ↩︎ ↩︎ ↩︎

  3. Levent Alpöge的X帖子 · X · 2026/7/20 · 检索日期2026/7/24 ↩︎

  4. AI人工智能时代的数学家们——杰里米·阿维加德 · 澎湃新闻 · 2026/3/7 · 检索日期2026/7/24 ↩︎ ↩︎