7.6
深览指数
科技虎嗅·AppSo··AI 生成
刚拿完菲尔兹奖，他扭头加盟OpenAI
2026年菲尔兹奖得主雅各布·齐默尔曼在获奖新闻发布会上宣布，将转向AI安全并加入OpenAI安全部门。他使用来自数理逻辑的o-minimality工具解决了Griffiths猜想，但其认为AI对数学职业构成严重威胁，已停止招收博士生。此现象背后是顶尖数学家向AI产业迁徙的浪潮，原因包括算力差距、问题转移、机构环境差异等，可能加速交叉研究但也抽薄基础人才梯队。适合对AI安全、数学与产业交叉、学术界人才流动感兴趣的读者。原文 ↗
核心观点
- ▍菲尔兹奖得主雅各布·齐默尔曼认为AI对人类社会构成严重威胁，因此决定将余生押注在AI安全领域，并加入OpenAI安全部门。
- ▍顶尖数学家向AI产业迁徙的现象正在加速，背后有多层硬原因：学术实验室算力远不及AI公司、基础数学瓶颈卡在算力而非理论、工业环境更少行政损耗且资源更集中。
- 01齐默尔曼在1小时14分的获奖者新闻发布会上原话表示，已开始转向AI安全，很快要去OpenAI安全部门任职，并正在整理一份供数学家转行使用的资源清单。
- 022025年5月，OpenAI模型推翻了悬置80年的埃尔德什单位距离猜想，125页证明，九位顶尖数学家参与验证，评价为「如果由人类提交，可直送《数学年刊》」，齐默尔曼是九人之一。
- 03齐默尔曼已停止招收博士生，理由是不想让学生为「可能不复存在的数学职业」做准备。
- 0457岁的解析数论权威Ken Ono辞去弗吉尼亚大学终身讲席教授，加入AI数学公司Axiom Math当第15号员工，该公司刚融资6400万美元。
- 05FrontierMath基准由约40位数学家为AI编制研究级数学考题，OpenAI提供支持，学界与工业界已深度绑定。
- 06传统学术实验室年度算力预算几十万到几百万美元，而前沿AGI一次大规模实验就是几千万美元，OpenAI、Anthropic手握几万张高端GPU和私有数据集。
反方 / 局限
- — 作者指出，顶尖数学家流向AI公司会抽薄基础人才梯队——终身教授走了，研究生导师缺人，年轻人会形成预期：最好的出路是直接去AI公司。
- — 私有实验室核心研究大量不公开，前沿理论若被少数几家企业垄断，学术生态将走向封闭，且资源分配天然偏向AGI相关课题，冷门方向会更没人做。
Jacob TsimermanKen OnoCarina HongJeremy Avigad陶哲轩Akshay VenkateshOpenAIAxiom MathAnthropicGriffiths猜想o-minimality菲尔兹奖埃尔德什单位距离猜想André-Oort猜想FrontierMath
13 分钟 · 4 卡片 · 11 资料
读原文 →