刚斩获数学界最高荣誉菲尔兹奖，转头便宣布加入 OpenAI。
Jacob Tsimerman，这位刚刚在领奖台上与王虹、邓煜并肩的数学家，用极具戏剧性的方式展示了职业生涯的转折：从学术巅峰直接跨越至 AI 前沿。
这一选择的背后充满了反差：他曾撰文构建"AI 导致人类灭绝”的分类学，坚信 AI 威胁论；他的 X 账号仅发过一条关于“数学家将失业”的帖子，如今却率先转型。更具巧合的是，其昔日学生 Levent Alpöge 近日借助 Claude 推翻了悬置 87 年的雅可比猜想，目前任职于 Anthropic。师徒二人，分属两大 AI 巨头。
IMO 满分得主与最年轻正教授
Jacob Tsimerman 生于 1988 年，成长轨迹堪称传奇。他连续两年代表加拿大出战国际数学奥林匹克（IMO）并夺得金牌，其中 2004 年为满分。16 岁进入多伦多大学，两年完成本科学业，2011 年在普林斯顿大学获得博士学位，师从 Peter Sarnak。此后经哈佛研究员项目深造，回到母校任教，成为多伦多大学数学系史上最年轻的正教授。
此次获奖，旨在表彰他在安德烈 - 奥尔特猜想（André-Oort Conjecture）上的突破性证明，该难题在算术几何领域悬置了近 40 年。他也因此成为首位在加拿大高校任职期间获此殊荣的数学家。
本届菲尔兹奖含金量极高，囊括了 Kakeya 猜想、希尔伯特第六问题动理学部分以及 André-Oort 猜想三桩世纪难题。Jacob 是在这届“数学大年”中脱颖而出的最强者之一。
然而，在 7 月 23 日费城国际数学家大会（ICM）的记者会上，面对未来规划提问，他直言将很快入职 OpenAI，专注于 AI 安全方向。
我认为世界正在改变。我们现在所熟知的数学职业……我不认为它还会以现在这个样子存在下去了。
OpenAI 团队迅速响应。安全研究员、哈佛教授 Boaz Barak 发文表示“深感谦卑”地欢迎 Jacob 加入；微软前副总裁、现 OpenAI 高管 Sebastien Bubeck 也跟进欢迎，预示接下来的合作将非常有趣。
唯一推文背后的深刻洞察
Jacob 的 X 账号注册于 2014 年，但十余年间仅发布过一条帖子。这条内容成为了理解他思想的关键。
在回应数学家 Daniel Litt 关于“解决问题在数学研究中占比”的讨论时，Jacob 给出了近乎极端的回答：几乎是全部。他指出，一旦某个核心猜想（如 Zilber-Pink 猜想的一般形式）被解决，围绕该问题的整个学术共同体及其研究方向可能瞬间消失。
他认为，过去解决猜想依靠百年一遇的天才数学家，而未来这可能由 AI 模型随时完成。他在接受《美国数学会公告》采访时预言：“两年内，AI 在证明定理上可能就比人类强了。”
Jacob 曾构想一个"AI 神谕机”场景：任何数学命题丢进去即可判断真假。在这种模式下，理论构建者的工作流将彻底改变，研究方向可在几天内开创并终结。他断言，这与现代数学是截然不同的两种事物。
事实上，Jacob 已在实践中验证了这一趋势。他透露 AI 已使其科研效率翻倍，2025 年他在 arXiv 发表了 5 篇论文。日常工作流中，他利用 ChatGPT 和 Claude 探索问题边界、查找文献及证明引理。“虽然模型给出的证明常有错误，但能指出正确方向，帮我完成 80% 的工作。”
基于对技术的深刻理解，他批评数学界存在自我安慰的心态，并提出了更严峻的观点：AI 有相当大的可能导致人类灭绝。为此，他与 AI 安全专家 Andrew Critch 合作发表论文《涉及 AI 的灭绝性未来的分类》，系统梳理了 AI 引发人类灭绝的场景。
既然担忧 AI 风险，为何还要加入 AI 公司？Jacob 的逻辑清晰：既然无法阻挡技术浪潮，不如置身其中以塑造其发展方向，避免被时代甩下。加入 OpenAI 安全部门，正是这一理念的实践。
此外，他反对将“追求真理”视为数学家唯一的崇高动机，强调数学家也是普通人，需要物质保障与生活意义。如果解题乐趣因 AI 而消失，转型亦是合理选择。
四位得主去向与人才争夺战
Jacob 的动向引发了对本届其他三位菲尔兹奖得主去向的关注。按照 Jacob 对数学工作的分类——“解决问题”与“构建理论”，AI 实验室目前最渴求的是前者，即具备强大推理和解题能力的数学家。
王虹：纽约大学教授兼法国高等科学研究所（IHES）成员。她与合作者证明了悬置百年的 Kakeya 猜想，成为菲尔兹奖历史上第三位女性得主。其调和分析背景与 AI 推理研究高度契合，加之极高的学术声望，她是各大厂猎头名单上的首选。不过，鉴于她刚获得 IHES 职位，短期内离职可能性较低。
邓煜：芝加哥大学教授，因解决希尔伯特第六问题动理学部分获奖。他在得知获奖后表现淡然，继续潜心研究。由于其研究方向偏向数学物理和偏微分方程，与当前推理模型主战场距离较远，且个人志趣在于学术，跳槽意愿最低。
John Pardon：石溪大学教授，辛拓扑方向专家。作为本科期间便解决 30 年难题的天才，他是典型的“解题高手”。虽然辛拓扑目前仍是 AI 难以攻克的抽象领域，但鉴于其年轻且具备极强的适应能力，若 AI 在几何领域取得突破，他可能是最具转型潜力的人选。
综上所述，本届四位得主中，一人已入职 OpenAI，一人学术地位稳固，一人志在纯学术，一人尚待观察。但在谷歌 DeepMind、OpenAI、Anthropic 等巨头激烈的人才军备竞赛下，这份名单的稳定性恐难长久。
师徒二人的 AI 预言与现实
故事还有一个意味深长的注脚。颁奖三天前，数学家 Levent Alpöge 在 X 上宣布：悬置 87 年的雅可比猜想是假的。他借助 Anthropic 新发布的模型，找到了仅有 216 个字符的反例。
菲尔兹奖得主 Timothy Gowers 评价称，这是首次见证大语言模型解决其领域外著名的长期难题。
Levent Alpöge 现任 Anthropic 数学家，而他哈佛本科时期的毕业论文指导老师，正是 Jacob Tsimerman。老师在唯一的推文中预言 AI 将接管数学解题，学生随即用 AI 一夜推翻百年猜想，提前兑现了预言。三天后，老师领完大奖官宣加入 OpenAI。
师徒二人，一人一家，共同开启了数学与 AI 融合的新篇章。