新晋菲尔兹奖得主，当天宣布加入OpenAI

2026年7月23日，费城国际数学家大会开幕式上，38岁的Jacob Tsimerman与其他三位数学家共同领取了菲尔兹奖。在随后的记者会上，当被问及未来计划时，他直接表示：“我即将加入OpenAI，从事AI安全研究。”这一宣布让颁奖典礼瞬间变成了转会发布会。

Tsimerman的履历堪称完美：2004年IMO满分金牌，16岁进入多伦多大学，两年完成本科学位，成为该校数学系史上最年轻的正教授。他因证明André-Oort猜想和Griffiths猜想获奖，是首位在加拿大高校任职期间摘得菲尔兹奖的数学家。

然而，这位数学天才对AI的态度充满矛盾。2025年，他与Andrew Critch合著论文《涉及人工智能的全人类灭绝未来分类》，系统梳理了AI导致人类灭绝的五种路径。他曾在采访中表示AI灭绝人类有“相当大的可能性”，并支持暂停前沿AI开发。如今他却加入了全球最前沿的AI公司。

Tsimerman在AMS Notices访谈中解释了他的转变：他支持暂停AI，但不相信全球竞争中的公司和国家会真正停下来。“既然挡不住，与其站在外面抵制，不如进场搞清楚它、参与塑造它，否则我们可能会被甩下。”他的逻辑是：风险越高，安全结论越需要数学证明级别的确定性，而OpenAI正是数学与AI安全交汇的地方。

他早已深度使用AI进行数学研究。2025年一年，他往arXiv上传了5篇数学论文，日常工作流就是使用ChatGPT和Claude摸清问题边界、寻找参考文献、让模型证明引理。他说：“它给的证明通常是错的，但它通常能把正确方向的方法拉出来，帮我走完80%，剩下我自己收尾。”AI已让他的科研效率翻倍。

2026年5月，OpenAI的推理模型找到了悬置80年的单位距离猜想反例，Tsimerman是受邀验证的九位数学家之一。他评价说，如果这项成果由人类完成，他会支持顶级期刊接收。这次经历强化了他的判断：AI已开始参与数学发现。他随后公开预测，AI可能在两年内比人类数学家更擅长证明定理。

就在Tsimerman宣布加入OpenAI的三天前，他的学生Levent Alpöge在X上公布了一个雅可比猜想反例，并表示这一关键构造来自Anthropic的Claude Fable 5。这个1939年提出的猜想悬置了87年，反例只有216个字符，任何数学家都能手动验证。菲尔兹奖得主Timothy Gowers评价，这是他第一次见到LLM解决自己领域之外一个“久闻大名”的难题。

Alpöge本科毕业于哈佛大学，毕业论文导师正是Tsimerman。如今，老师在OpenAI，学生在Anthropic，师徒二人各占一家。Tsimerman在唯一一条X帖子中预言AI将接管解题，而学生用AI提前兑现了预言。

Tsimerman认为，数学家的职业可能不复存在。他在帖子中写道：“我们现在所熟知的数学职业……我不认为它还会以现在这个样子存在下去了。”他已停止招收博士生，理由是不想让学生为一个“可能不复存在的数学职业”做准备。

Tsimerman的加入并非孤例。2025年12月，57岁的解析数论权威Ken Ono辞去弗吉尼亚大学终身讲席教授，加入学生创办的AI数学公司Axiom Math。卡内基梅隆的Jeremy Avigad指出：“通用智能的关键，是把机器学习的洞察力和数学的精确性结合起来。”

这波迁徙背后有硬性原因：传统学术实验室年度算力预算仅几十万到几百万美元，而前沿AGI研究一次大规模实验就需几千万美元。大学只能做小规模理论推演，而OpenAI、Anthropic手握数万张高端GPU和私有数据集。此外，终身教授需承担教学、行政等职责，而工业实验室行政压力极低，能直接组建跨学科团队。

然而，人才流失也带来隐忧：终身教授离开导致研究生导师短缺，年轻人可能形成“最好出路是直接去AI公司”的预期，基础人才梯队被抽薄。大学成果公开发表，而私有实验室核心研究大量不公开，前沿理论可能被少数企业垄断，学术生态走向封闭。

Tsimerman在AMS Notices访谈中描绘了一个思想实验：假设有一台AI神谕机，任何数学命题丢进去真假立判。理论构建者的日常将变成：提出定义，立刻问一千个问题，答案不断返回，整个研究方向几天内就能开创并终结。他说：“这与现代数学是非常、非常不同的两种东西。”

尽管对AI持悲观态度，Tsimerman仍认为数学家可以在AI安全领域发挥独特作用。他说：“这（AI）主要还是一门经验和工程的科学。如果我们能更好地理解这些东西是怎么工作的，也许就能更好地引导它们、理解它们、控制它们。”他正在整理一份资源清单，专门给想转行到AI安全的数学家使用。

Tsimerman的选择引发了更广泛的讨论：数学界大致分为三派——陶哲轩视AI为强大助手，菲尔兹奖得主Akshay Venkatesh警告数学家可能丧失对数学的直接理解，而Tsimerman认为整个职业都有危险。无论哪种观点，一个不争的事实是：数学与AI的边界正在消融，而数学家们正站在抉择的十字路口。