文 | 新质动能
刚拿到菲尔兹奖，人转身就入职 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 的发展，第一次让最前沿的数学研究直接进入了产业竞争。
参考资料：
《刚拿菲尔兹奖，他就宣布加入 OpenAI》，量子位；
《刚拿完菲尔兹奖，他扭头加盟 OpenAI》，APPSO；
《菲尔兹奖没有意外！两位中国籍数学家创造历史》，返朴；
《重磅！Fable 5 证明雅可比猜想错误？Anthropic 研究员发布惊人数学发现》，AI 寒武纪；
《当 57 岁 " 数学传奇 " 决定为 24 岁 " 天才少女 " 的 AI 项目打工》，钛媒体；
《广州数学天才少女，斯坦福辍学创业，25 岁拿下超 14 亿融资，公司估值 110 亿》，21 世纪商业评论；
《图灵奖得主杨立昆、菲尔兹奖得主 Freedman 同时加盟，全球首家能量模型商业化公司诞生》，KIK DeepTech 深科技。
