菲尔兹奖颁奖词刚刚念完，奖牌还没焐热，Jacob Tsimerman就宣布了另一件事——他要离开。
2026年7月23日，费城，国际数学家大会新闻发布会现场。38岁的Tsimerman刚刚与邓煜、John Pardon、王虹共同接过2026年菲尔兹奖——数学界最高荣誉，每四年颁发一次，只授予40岁以下的数学家。然后他告诉全世界：他将转向AI安全研究，并加入OpenAI。
这是数学界和AI界历史上罕见的一幕。一个刚刚站上巅峰的人，在最荣耀的时刻，选择走下神坛。
纯数巅峰：一个人能走多远
Tsimerman的学术履历几乎是教科书级别的完美。16岁进入多伦多大学数学系，普林斯顿大学博士，师从著名数学家Peter Sarnak。他的研究方向是数论与代数几何的交汇点——用来自一个领域的工具去撬动另一个领域的难题，这种"跨界解题"的能力让他成为同代人中公认的最强问题解决者之一。
SASTRA Ramanujan奖、New Horizons in Mathematics Prize、Ostrowski Prize，他把能拿的顶级奖项拿了个遍。但真正让他站上菲尔兹奖领奖台的，是两件事：他证明了格里菲斯猜想，并推动了安德烈-奥尔特猜想的证明——后者是一个在数学界悬而未决近40年的重大难题。评审委员会的评价是：他在算术与复代数几何领域扩展了O-minimal技术的应用范围，从根本上改变了人们对这个领域的理解。
但Tsimerman自己从来不把数学说成"追求真理与美"。"数学非常注重目标导向，"他曾说，"当你放大了看，你只是想要赢。"
现在，这种"想要赢"的劲头有了新的战场。
一个数学家的存在主义危机
是什么让一个刚刚拿到最高荣誉的人，在获奖当天宣布离开？
答案藏在AI数学能力的指数级跃迁中。2025年，AI还在为高中级别的数学竞赛题挣扎。到了2026年初，AI系统开始证明越来越复杂的数学结果。5月，OpenAI的模型推翻了Erdős单位距离猜想——一个困扰了人类数学家近80年的组合几何难题。菲尔兹奖得主Tim Gowers评价说："毫无疑问，单位距离猜想的解决是AI数学的一个里程碑。如果这是一个人类写的论文，提交到《数学年鉴》，我接到快速审稿邀请的话，会毫不犹豫地推荐接受。"
短短一年，AI的数学能力完成了从"高中生"到"前沿研究者"的跨越。
这对Tsimerman的冲击是根本性的。他热爱数学，但热爱的是"解决问题"本身——是第一个找到答案的快感。如果机器能比人类更快、更好地解决数学问题，那数学家的价值还剩什么？
"我认为AI在两年内就会比人类数学家更擅长数学，"他在颁奖前接受Quanta Magazine采访时直言不讳。
这不是一个理论问题。Tsimerman已经停止了招收研究生。他的理由很简单也很残酷：他担心现在开始一个传统数学研究项目的学生，毕业后面对的将是一个可能已经不存在的人类数学职业。"我不知道该怎么带一个对AI不感兴趣的数学博士生，"他说。
一个站在行业顶端的人，对行业未来做出了终极否定判断。这不是牢骚，这是行动。
OpenAI为什么需要一位纯数研究者
OpenAI首席研究官Mark Chen和研究员Sebastien Bubeck、Boaz Barak均在社交媒体上证实了Tsimerman的加盟。对于OpenAI来说，这不仅仅是又一位高端人才引进。
这一年来，AI安全团队的招聘竞争已经白热化。据The Atlantic报道，仅2026年就有至少22位教授离开或暂离斯坦福、伯克利、哈佛、MIT等顶尖学府，加入OpenAI、Anthropic、Meta、Google DeepMind。但Tsimerman是其中第一个菲尔兹奖得主。
为什么一位纯数研究者对AI安全至关重要？
AI对齐的核心问题之一是：如何确保一个比人类更聪明的AI系统不会做出违背人类意图的行为？这本质上是一个"证明"问题——你需要某种形式的数学保证，证明系统在给定条件下不会产生灾难性后果。这正是Tsimerman做了20年的事：用严谨的数学证明来确保某种结论在给定条件下成立。
"风险非常高，赌注非常高，所以我们需要非常高的保证水平，"Tsimerman在采访中说。在他看来，数学家可以在理解AI代理系统的行为、推导证明以确保这些复杂系统不会产生非预期后果方面发挥关键作用。
事实上，Tsimerman在AI安全领域已经迈出了实质性的一步。2025年7月，他与UC Berkeley的Andrew Critch合著了一篇论文《A Taxonomy of Omnicidal Futures Involving Artificial Intelligence》，系统分类了AI可能带来的极端风险场景。这篇论文标志着他已经从"旁观者"变成了"参与者"。
OpenAI的"数学化"安全路线
把Tsimerman的加盟放在更大的坐标中看，OpenAI正在做一件很多人没注意到的事：将AI安全研究"数学化"。
2026年初，OpenAI推出了Safety Fellowship计划，旨在培养新一代AI安全专家。5月，其模型推翻单位距离猜想，证明了AI在数学证明领域的潜力。7月，一位菲尔兹奖得主加入安全团队。
这三件事指向同一个方向：用最严格的数学工具去解决最棘手的对齐问题。
这与硅谷主流的AI安全思路形成了鲜明对比。目前，大多数AI安全研究集中在RLHF（基于人类反馈的强化学习）、红队测试、行为监控等实证方法上。这些方法有效，但缺乏数学上的严格保证。Tsimerman代表的是一条截然不同的路线：从数学基础出发，用定理和证明来构建AI安全的"不可攻破的防线"。
这让人联想到密码学的发展历程。在经历了多年的试错和攻防之后，密码学最终靠严格的数学证明奠定了安全基础。AI安全可能正在经历同样的范式转变——从"看起来安全"到"可证明安全"。
数学界的地震，AI界的信号
Tsimerman的离去在数学界引发了复杂情绪。一个菲尔兹奖得主在获奖当天宣布离开纯数，本身就具有极强的象征意义。但更值得关注的是，他的选择在数学界内部激起了关于"AI会对数学产生什么影响"的更大讨论。
一些数学家对AI持怀疑态度，认为它对真正的数学研究用处有限。另一些人，包括著名数学家陶哲轩，则开始将AI视为强有力的助手，能够扩展人类数学家的能力。Tsimerman站在了第三种立场上：AI的发展速度如此之快，以至于数学的职业前景本身都面临威胁。
这种判断的分歧，某种程度上反映了整个科技行业在面对AI时的分裂心态。乐观者看到的是工具和效率，悲观者看到的是替代和风险。而Tsimerman选择的是行动——亲赴AI安全的战场，用自己最擅长的数学工具去做些什么。
数学史上，无数看似毫无实际用途的纯数学成果，在几十年后成为改变世界的技术基石——数论之于密码学，黎曼几何之于广义相对论，代数拓扑之于数据科学。Tsimerman在代数几何和数论中锤炼出的思维方式，可能会在AI安全领域产生同样的深远影响。
他现在只有38岁，有足够的职业生涯去开辟第二战场。而OpenAI给了他一个平台——不是去做数学研究，而是去防止数学研究的终结。
当数学界最聪明的头脑选择不再只为数学而战，这才是AI时代最需要被认真对待的信号。
快报