刚拿菲尔兹奖，他转头就宣布入职OpenAI

来源：市场资讯

（来源：钛媒体APP）

刚拿到菲尔兹奖，人转身就入职OpenAI。

当地时间7月23日，2026年国际数学家大会在美国费城开幕，现场揭晓2026年菲尔兹奖得主。菲尔兹奖被称为“数学界的诺贝尔奖”，四年只评一次，每次最多四人获奖，是许多数学家一生的追求。

得主之一Jacob Tsimerman领完奖，在记者会上被问及接下来的打算，他直接摊牌：很快就要入职OpenAI，方向是AI安全。

“我认为世界正在改变，我们现在所熟知的数学职业，我不认为它还会以现在这个样子存在下去了。”Jacob直言。

而且更让人意外的是，Jacob并不是对AI盲目乐观的技术派，恰恰相反，他曾专门写过一篇论文，给“AI如何导致人类灭绝”建了一套分类学。他的X账号从2014年注册至今，十几年里只发过一条帖子，主题是数学家将如何失业。如今，他却成了第一个“失业”的数学家，还主动走进了AI公司的大门。

一个曾研究“AI如何导致人类灭绝”的数学家，为什么最终走进了AI公司？

Jacob的选择，并不仅仅是一次个人职业转向，更折射出一个正在发生的变化：越来越多世界顶尖学者，开始离开大学和研究机构，走向AI产业。

一、奥数满分选手，转身走进OpenAI

能拿到菲尔兹奖，Jacob Tsimerman也不是一般人。Jacob Tsimerman，1988年出生于俄罗斯喀山，随家人先移居以色列，后落脚加拿大。

他的天赋很快就显现出来。2003年和2004年，Jacob连续两届代表加拿大出战国际数学奥林匹克竞赛（IMO），拿下两块金牌，2004年还拿了满分。

Jacob16岁时，进入多伦多大学读数学，两年就读完了本科；2011年在普林斯顿大学拿下博士学位后，去哈佛大学的Society of Fellows镀了一层金，Jacob再次回到多伦多大学任教，成为该校数学系历史上最年轻的正教授。

这次拿下菲尔兹奖，表彰的是Jacob在André-Oort猜想上的证明工作。这是算术几何领域的核心难题之一，此前悬置了近40年。凭借这项成果，他也成为首位在加拿大高校任职期间摘得菲尔兹奖的数学家。

按常理，拥有这样一份履历的人，应该站在领奖台上感谢师长、展望学科的未来，然后回到校园里继续带学生、钻研学术，但Jacob选择了另一条路。

就在领奖后的记者会上，Jacob宣布自己很快将加入OpenAI，研究AI安全。消息一出，很快就在数学界和AI圈同时引发热议。

OpenAI方的反应堪称迅速，安全研究员、哈佛教授Boaz Barak第一时间发推，表示“深感谦卑”地欢迎Jacob加入，一起做AI安全；微软前副总裁、现OpenAI成员Sebastien Bubeck也跟着表态，欢迎Jacob入队。

随着讨论不断发酵，人们重新翻看Jacob过去的公开表达，才发现这次决定其实早已有迹可循。

在Jacob在X上的唯一一条帖子里，他讨论了一个问题：“解决问题”这件事，在数学研究里到底占多大分量？他的答案是：几乎全部。

Jacob提到，自己几乎所有时间都在解决问题，而一旦有人解决了他所在的研究领域里核心猜想的一般形式，“我的整个主要研究领域，就会消失”。

在过去，能解开这种猜想的，大概率只会是另一位数学家，而这种事百年难得一遇；而现在，解题者却很可能只是一个AI模型，像这样的新闻已屡见不鲜。Jacob甚至在采访中给出了时间表：两年内，AI在证明定理这件事上，可能会比人类数学家更强。

Jacob并不是站在AI之外做判断，而是几乎每天都在使用AI辅助科研。他透露，AI工具已经让自己的科研效率翻了一倍。2025年间，Jacob往arXiv上传了5篇数学论文，日常研究流程几乎已经离不开ChatGPT和Claude：先让AI帮助梳理问题边界、检索相关文献，再尝试生成证明思路。

“它给的证明通常是错的，但通常能把正确方向的方法拉出来，帮我走完80%，剩下我再自己收尾。”

也正因为天天在用AI辅助研究，Jacob对AI能力的判断，也比很多同行更加激进。在他看来，不少数学家存在一种“自我安慰”式的心理，看到AI眼下还比不过人类数学家，就想当然地认为它永远都比不过。

“AI两年内超过数学家”，在Jacob看来还是相对温和的判断。他更真实的看法是：“我认为AI有相当大的可能导致人类灭绝。”

这并不是一句随口玩笑，2025年，Jacob在arXiv上传的第六篇文章不再是数学论文，而是一篇题为《涉及AI的灭绝性未来的分类》的研究，合作者是长期研究AI安全的Andrew Critch。

既然如此担忧，为什么还要主动加入一家AI公司？Jacob的回答很直接：他支持暂停AI的发展，但并不认为这件事真的会发生。既然无法阻止技术继续前进，那么与其站在门外批评，不如走进其中，真正理解它、影响它。

也正因此，他最终选择加入OpenAI，而且明确投身AI安全研究。这看似矛盾的决定，在他的逻辑里反而是一种必然。

二、57岁数论学家，为24岁学生“打工”

比Jacob更早做出类似选择的，是美国数论学家小野健（Ken Ono）。

2025年底，57岁的小野健辞去弗吉尼亚大学终身教授职位，加入自己昔日学生洪乐潼创办的AI数学公司Axiom Math，成为公司第15号员工，担任“创始数学家”。他的工作不是写代码，而是给AI设计数学难题、测试模型的推理能力极限。

小野健在数学界地位举足轻重。他是美国数学会会士，也是国际知名的解析数论学者，长期活跃于国际数学研究前沿。而他的前学生、现老板洪乐潼，比他年轻整整33岁。

两人的缘分始于麻省理工学院。洪乐潼本科期间曾参与小野健主持的数论研究项目，几年后，她从斯坦福大学数学与法学双博士项目退学创业，创办Axiom Math。公司成立不久便完成6400万美元融资，并陆续吸引了一批AI研究员和数学家加入，其中就包括她曾经的导师小野健。

促使小野健加入的契机，是2023年参加的一场AI数学研讨会。在现场，小野健亲眼见证，AI已经能够解决许多自己不熟悉的数学分支问题，这让他第一次意识到，AI带来的变化已经不只是辅助计算，而是在开始参与真正的数学研究。

这也正是洪乐潼创办Axiom Math想要做的事。Axiom Math成立于2024年，目标并不是开发一个普通聊天机器人，而是打造能够像数学家一样进行推理、提出猜想并完成证明的“AI数学家”。

公司自主研发的Axiom Prover推出后，仅用4个月便连续攻克两道悬置数十年的数学问题。其中一道实现了全流程自动形式化证明，全程无需人工干预；另一道成果则对OpenAI此前公布的一项数学结果提出了不同结论，引发学界关注。

无论是加入OpenAI的Jacob，还是加盟Axiom Math的小野健，他们的共同选择都说明了一件事：AI公司争夺的，已经不仅是工程师，而是能够推动基础研究的数学家。

三、AI公司为何争抢数学家？

近两年，从OpenAI、Anthropic、Google DeepMind这样的大型AI公司，到Axiom Math、Harmonic这类专注数学AI的新创企业，都开始主动招募数学家，而不仅仅是传统意义上的算法工程师。

去年成立的AI创业公司Logical Intelligence，就是一个典型的例子。这家公司成立时间不过一年，却请来了图灵奖得主杨立昆担任技术研究委员会主席，菲尔兹奖得主Michael Freedman担任首席数学官，负责数学方向的研究。

一家成立仅一年的创业公司，能够同时聚集图灵奖和菲尔兹奖得主，本身就说明了一件事：顶尖数学家，已经成为AI行业最抢手的人才之一。

为什么AI公司开始抢数学家？

随着大模型进入推理时代，数学能力正在成为衡量模型智能水平的重要指标。从数学证明到形式化推理，再到复杂问题求解，越来越多能力已经无法单纯依靠工程优化完成，而需要数学家直接参与模型训练、测试和评估。

例如，OpenAI支持建设的数学能力测试集FrontierMath，就是由约40位职业数学家共同设计，题目几乎全部达到科研级难度，其中便包括小野健等人参与出题。

过去，数学家主要为学术同行提出问题；如今，他们开始为AI提出问题。

就在Jacob获得菲尔兹奖前几天，Anthropic数学家Levent Alpöge借助Claude发现了雅可比猜想的一组反例，并迅速完成验证，引发数学界广泛讨论。巧合的是，Levent Alpöge本科时期的导师正是Jacob。

从导师获得菲尔兹奖，到学生进入AI公司开展数学研究，再到越来越多数学家直接参与AI模型训练和评估，这条人才流动路径已经越来越清晰。

过去，顶尖数学家的舞台主要属于大学、研究所和国际数学大会。而今天，他们越来越频繁地出现在OpenAI、Anthropic、Google DeepMind，以及一家家AI创业公司的办公室里。

这场变化背后，并不是学术正在离开数学，而是AI的发展，第一次让最前沿的数学研究直接进入了产业竞争。