菲尔兹奖得主刚领奖就宣布加盟 OpenAI：数学天才转向 AI 安全

事件概述

2026 年菲尔兹奖得主、加拿大数学家 Jacob Tsimerman（38 岁）在获奖当天表示，自己已将研究方向转向 AI 安全，并很快会加入 OpenAI 的安全部门。Tsimerman 是多伦多大学数学系史上最年轻的正教授，16 岁上大学，两年读完本科，2004 年国际数学奥林匹克满分金牌。获奖理由是将 o-minimality（来自数理逻辑的工具）引入算术几何与复代数几何，证明了 Griffiths 猜想，并参与了 André-Oort 猜想的解决。

转向 AI 的原因

Tsimerman 在发布会上称，AI 已能总结论文、起草证明，使他研究效率翻倍；他认为 AI 很快会在数学上超越人类。直接刺激是 2025 年 5 月 OpenAI 模型推翻了悬置 80 年的埃尔德什单位距离猜想，125 页证明获九位顶尖数学家验证，评价为“可直送《数学年刊》”。Tsimerman 是验证者之一，他坦言自己曾尝试该思路但放弃，因为太耗时且常走不通。他认为 AI 主要仍是经验工程科学，数学家能为理解大模型提供理论基础，从而引导、理解、控制 AI。他称自己的观点“相当极端”，认为 AI 会成为对社会的严重威胁。他已停止招收博士生，理由是不想让学生为“可能不复存在的数学职业”做准备。

其他数学家动向

Tsimerman 并非孤例。2025 年 12 月，解析数论权威、57 岁的 Ken Ono（小野健）辞去弗吉尼亚大学终身讲席教授，加入 24 岁前学生洪乐潼创立的 AI 数学公司 Axiom Math，担任第 15 号员工“创始数学家”，负责设计题目测试 AI 极限。该公司已融资 6400 万美元，并从 Meta 挖了一批 AI 数学研究员。类似公司还有 OpenAI、Anthropic、Harmonic、Logical Intelligence、Math Inc. 等。卡内基梅隆大学 Jeremy Avigad 指出，通用智能的关键在于结合机器学习洞察力与数学精确性。FrontierMath 基准测试由约 40 位数学家（包括 Ken Ono）为 AI 编写研究级考题，OpenAI 提供支持。

学术界的三种态度

当前数学界对 AI 的态度大致分三派：陶哲轩视 AI 为强大助手；菲尔兹奖得主 Akshay Venkatesh 提醒需警惕数学家丧失直接理解数学的能力；Tsimerman 则坚决认为整个数学职业都有危险。

数学家流向 AI 行业的硬原因

1. 算力鸿沟：传统学术实验室年度算力预算几十万到几百万美元，前沿 AGI 单次实验需数千万美元。AI 公司拥有数万张高端 GPU 和私有数据集。
2. 问题重心转移：自动定理证明、形式化验证成为最激动人心的开放问题，许多数论与几何瓶颈卡在算力而非理论。
3. 机构环境：大厂研究院资源倾向产品化，但创业型 AI 实验室决策链短、目标纯粹；终身教授需上课、招博士、评审、写基金，工业实验室行政压力极低且可跨学科组队。
4. 薪酬：终身教职年薪 15-35 万美元，头部 AI 企业资深科学家总包 50-150 万美元，但对 Fields 级别人才，钱非决定因素。

影响与讨论

正面：学科壁垒打破，数学家、物理学家、计算机科学家协同加速；OpenAI、Anthropic 演变为私人资助的高级研究院，数学家入场强化对齐与形式验证，补足大模型“经验调参、缺乏严格理论”的短板。

反面：终身教授离开导致研究生导师短缺，年轻人可能倾向直接去 AI 公司而非留校；企业核心研究不公开，前沿理论可能被少数公司垄断；资源偏好 AGI 相关课题，冷门长线方向更少人做。