2026年7月23日，在美国费城开幕的国际数学家大会上，2026年菲尔兹奖得主揭晓。加拿大数学家Jacob Tsimerman凭借在André-Oort猜想上的证明工作获奖，该猜想是算术几何领域的核心难题，悬置近40年。然而，领奖后的记者会上，Tsimerman宣布自己很快将入职OpenAI，研究方向为AI安全，引发数学界和AI圈热议。

Tsimerman并非AI技术的盲目乐观者。他曾在2025年与长期研究AI安全的Andrew Critch合作，发表论文《涉及AI的灭绝性未来的分类》，系统分类了AI可能导致人类灭绝的路径。他的X账号自2014年注册以来仅发布过一条帖子，讨论数学家将如何因AI失业。尽管如此，他选择加入OpenAI，理由是：尽管支持暂停AI发展，但认为这不会发生，与其站在门外批评，不如进入其中影响技术方向。

Tsimerman的职业生涯堪称传奇。1988年生于俄罗斯喀山，随家人移居以色列后定居加拿大。他连续两届代表加拿大参加国际数学奥林匹克竞赛，2004年获得满分金牌。16岁进入多伦多大学，两年完成本科，2011年于普林斯顿大学获博士学位，后成为多伦多大学数学系史上最年轻的正教授。他日常使用AI辅助研究，称AI工具使科研效率翻倍，但强调AI给出的证明常错，却能提供正确方向，帮助完成80%的工作。他预测两年内AI在定理证明上可能超越人类数学家。

Tsimerman并非首位从学术界转向AI产业的顶尖数学家。2025年底，57岁的美国数论学家小野健辞去弗吉尼亚大学终身教授职位，加入其24岁前学生洪乐潼创办的AI数学公司Axiom Math，担任“创始数学家”。该公司成立不久即完成6400万美元融资，目标打造能像数学家一样推理的AI。小野健的加入源于2023年一场AI数学研讨会，他亲眼见证AI解决其不熟悉领域的问题，意识到AI已开始参与真正数学研究。

AI公司对数学家的争夺正在加剧。去年成立的AI创业公司Logical Intelligence，请来图灵奖得主杨立昆担任技术研究委员会主席，菲尔兹奖得主Michael Freedman担任首席数学官。随着大模型进入推理时代，数学能力成为衡量模型智能的关键指标，数学家直接参与模型训练、测试和评估。例如，OpenAI支持的FrontierMath测试集由约40位职业数学家设计，题目达科研级难度。

Tsimerman的学生Levent Alpge，现为Anthropic的数学家，近日借助Claude发现雅可比猜想的一组反例，引发学界讨论。从导师获菲尔兹奖到学生进入AI公司，人才流动路径日益清晰。这场变化表明，前沿数学研究正从学术殿堂直接进入产业竞争，AI公司争夺的不再仅是工程师，而是能推动基础研究的数学家。