文 | 新质动能

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

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

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

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

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

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

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

能拿到菲尔兹奖，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 安全研究。这看似矛盾的决定，在他的逻辑里反而是一种必然。

比 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 公司争夺的，已经不仅是工程师，而是能够推动基础研究的数学家。

近两年，从 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 的发展，第一次让最前沿的数学研究直接进入了产业竞争。

参考资料：

《刚拿菲尔兹奖，他就宣布加入 OpenAI》，量子位；

《刚拿完菲尔兹奖，他扭头加盟 OpenAI》，APPSO；

《菲尔兹奖没有意外！两位中国籍数学家创造历史》，返朴；

《重磅！Fable 5 证明雅可比猜想错误？Anthropic 研究员发布惊人数学发现》，AI 寒武纪；

《当 57 岁 " 数学传奇 " 决定为 24 岁 " 天才少女 " 的 AI 项目打工》，钛媒体；

《广州数学天才少女，斯坦福辍学创业，25 岁拿下超 14 亿融资，公司估值 110 亿》，21 世纪商业评论；

《图灵奖得主杨立昆、菲尔兹奖得主 Freedman 同时加盟，全球首家能量模型商业化公司诞生》，KIK DeepTech 深科技。