2026年7月23日，在费城举行的国际数学家大会上，2026年菲尔兹奖得主揭晓。获奖者之一、多伦多大学数学教授Jacob Tsimerman在领奖后的记者会上宣布，他将很快入职OpenAI，研究方向为AI安全。这一消息迅速在数学界和AI圈引发热议。

Jacob Tsimerman出生于1988年，曾连续两届代表加拿大参加国际数学奥林匹克竞赛并获金牌，2004年取得满分。他16岁进入多伦多大学，两年完成本科，后在普林斯顿大学获博士学位，并成为多伦多大学数学系史上最年轻的正教授。此次获奖表彰他在André-Ort猜想上的证明工作，该猜想是算术几何领域的核心难题，悬置近40年。他也成为首位在加拿大高校任职期间获菲尔兹奖的数学家。

Jacob并非对AI盲目乐观。2025年，他曾在arXiv发表论文《涉及AI的灭绝性未来的分类》，与AI安全研究者Andrew Critch合作，系统分类AI可能导致人类灭绝的路径。他的X账号自2014年注册以来仅发布一条帖子，讨论数学家将如何失业。然而，他在采访中表示，自己支持暂停AI发展，但认为这不会发生，因此选择进入AI公司以理解并影响技术方向。他透露，日常研究已离不开ChatGPT和Claude，AI工具使他的科研效率翻倍，并预测两年内AI在证明定理方面可能超越人类数学家。

Jacob的选择并非孤例。2025年底，57岁的美国数论学家小野健（Ken Ono）辞去弗吉尼亚大学终身教授职位，加入自己24岁前学生洪乐潼创办的AI数学公司Axiom Math，担任创始数学家。小野健是美国数学会会士，国际知名解析数论学者。Axiom Math成立于2024年，已完成6400万美元融资，其自主研发的Axiom Prover在4个月内连续攻克两道悬置数十年的数学问题。

更早的案例包括AI创业公司Logical Intelligence，成立仅一年便聘请图灵奖得主杨立昆担任技术委员会主席，菲尔兹奖得主Michael Freedman担任首席数学官。此外，OpenAI支持的数学能力测试集FrontierMath由约40位职业数学家设计，题目达到科研级难度。就在Jacob获奖前几天，Anthropic数学家Levent Alpge借助Claude发现雅可比猜想的一组反例，而Levent本科导师正是Jacob。

这些案例显示，AI公司对数学家的争夺已从算法工程师扩展到推动基础研究的理论数学家。随着大模型进入推理时代，数学能力成为衡量模型智能水平的关键指标，从形式化推理到复杂问题求解，都需要数学家直接参与模型训练、测试和评估。顶尖数学家的舞台正从大学和研究所扩展到OpenAI、Anthropic、Google DeepMind等AI公司，数学研究本身正成为产业竞争的前沿。