7 月 23 日，国际数学联盟公布 2026 年菲尔兹奖名单，多伦多大学教授 Jacob Tsimerman 因证明安德烈-奥尔特猜想等成果获奖。他在发布会上宣布：将从纯数学研究转向 AI 安全，加入 OpenAI 参与 AI 对齐工作——原因是两年内 AI 做数学的能力就会超过人类，传统数学家这份职业"很快无法维持"。
Tsimerman 自我描述为"顶尖数学家中对 AI 数学能力判断最激进的人之一"。他的判断不是凭空而来，而是来自一年内亲历的剧变：
AI 系统仍很难解决高中水平的数学竞赛题。
AI 开始证明越来越复杂的结果，能力曲线开始陡升。
OpenAI 推翻单位距离猜想——一个困扰人类数十年的问题。Tsimerman 自己曾短暂研究过该猜想但未取得进展，他称这项工作"非常令人印象深刻"，也"相当令人不安"。
AI 做数学的能力将超过人类数学家——远早于 Tim Gowers 在本世纪初预测的 2099 年。
这种陡升直接冲击了他的职业逻辑。2026 年 5 月初，他在社交平台写道："很多人对数学最主要的乐趣，来自各种形式的问题解决。如果这种东西消失，那绝不是一个无关紧要的问题。"
在转向 AI 安全之前，Tsimerman 已经把聊天机器人深度嵌入研究流程，自评效率提升一倍以上。值得注意的是：他原本已是获得国际数学家大会全体报告邀请的学者——属于"不需要再提高效率"的人。
快速定位相关研究，缩短文献检索时间。
AI 给出的证明未必全对，但可推进到由人修正完成的程度。
快速理解自己不熟悉方向的核心脉络。
构造复杂度超出个人处理能力的反例与样例。
这种用法不要求模型独立解决重大开放问题，而是把它当作研究流程的辅助工具——但 Tsimerman 同时担忧三件事：数学家职业瓦解、人类失去亲自发现数学的乐趣、以及更广泛的 AI 灾难性风险。
AI 数学能力的提升来得太突然，数学家们还没形成共识。Tsimerman 代表的是其中最具颠覆性的一种：
一些人依然怀疑 AI 是否真的能够用于严肃严谨的研究中。
把 AI 想象成一种强大的助手，能够扩展人类数学家的能力边界。
认为 AI 很快会超越人类数学家，传统数学家这份职业"很快无法继续维持"。已停止招收研究生，把研究重点转向 AI 安全，用数学推导确保智能体系统不以人类未预期的方式行动。
他的担忧不止于职业瓦解。去年他参与合著一篇论文，列举了可能导致全人类灭绝的事件，包括：失控 AI 系统杀死人类、AI 辅助战争导致相互确保毁灭、太阳能农场取代农业用地引发饥荒。他目前还不知道该如何解决这些问题，"但这不妨碍他继续尝试"。
Tsimerman 1988 年生于俄罗斯喀山，3 岁迁以色列、9 岁迁多伦多。15 岁在 IMO 夺金、16 岁满分后退出竞赛——他认为继续参赛"已经没有什么可赢的了"。18 岁拿到多伦多大学数学学士，2006 年入普林斯顿攻读博士。
他的职业生涯有一条清晰的方法论：把一个领域的工具带到另一个领域。他称之为"会下金蛋的鹅"。
2018 年，他与 Bakker、Brunebarbe 证明格里菲思猜想，建立了 o-minimal GAGA 框架——用于判断分析空间是否隐藏代数结构。这意味着他不再只是攻克既有问题，也开始建立其他数学家可继续使用的新工具。
为争取菲尔兹奖，他在最后一个资格周期改变了选题方式：放弃"有趣的支线项目"，集中精力投入高回报课题。2024-25 年间在 arXiv 发布 11 篇论文，其中与 Arul Shankar 合作的"四次域的次级主项"于 2025 年 8 月发布。2026 年 1 月一个周五深夜，他收到 IMU 主席邮件——在 IAS 树林里走了一会儿，让紧张感消散。
本报道主要素材来自 Tsimerman 获奖后由 OpenAI 发布的回应文章与人物专访，属单方披露性质——"两年内 AI 超越人类数学家"是其个人判断，未见第三方独立复测或同行评议。读者宜将其视为一位顶尖实践者的主观预判，而非已验证的结论。
但有一点是事实而非预测：OpenAI 在 2026 年 5 月推翻单位距离猜想，是 AI 首次以通用模型身份解决困扰人类数十年的数学猜想。无论两年这个时间点是否准确，能力曲线的方向已经清晰。
Tsimerman 的转向之所以值得记录，不在于他离开数学，而在于他选择去的地方——AI 对齐。一个用数学证明保证智能体"不以人类未预期方式行动"的人，本身正是数学界最稀缺的"工具建构者"。
Tsimerman 的获奖者故事与 OpenAI 回应文章已公开，可前往阅读完整原文。
Quanta 获奖报道 → 完整人物专访