菲尔兹奖得主雅各布宣布加入OpenAI：刚领完奖就去搞AI安全

7月23���，国际数学家大会在费城开幕。新晋菲尔兹奖得主雅各布·齐默曼在领奖后接受记者采访时，直接抛出一个重磅消息：很快入职OpenAI，方向是AI安全。

这位1988年出生于俄罗斯、在加拿大长大的数学家履历堪称传奇：16岁进多伦多大学，两年读完本科；连续两年代表加拿大出战国际数学奥林匹克，拿到满分金牌；普林斯顿博士毕业后，28岁成为多伦多大学史上最年轻的正教授。他这次获奖是因为证明了André-Oort猜想——一个悬置了近40年的算术几何核心难题。

但真正让大家震惊的，不是他的学术成就本身，而是他获奖后的职业选择。

雅各布一直对AI持相当激进的看法。他曾在学术期刊上明确写道：「我认为AI有相当大的可能导致人类灭绝。」2025年他发表了一篇论文，专门对「AI灭绝人类的各种方式」建立分类学。他的X账号注册十几年只发了一条帖子，内容是讨论「数学家将如何失业」。

一个相信AI可能灭绝人类的人，现在加入了全球最前沿的AI公司。这听起来矛盾，但雅各布的逻辑很简单：他支持暂停AI发展，但不认为暂停会发生。既然挡不住，与其站在外面抵制，不如进场搞清楚它、参与塑造它。

更有戏剧性的是，就在三天前，雅各布的学生阿尔波格用Anthropic的Claude Fable 5在一夜之间推翻了一个悬置87年的数学猜想——雅可比猜想。阿尔波格现在就在Anthropic工作。老师加入OpenAI，学生在Anthropic。师徒二人，一人一家。

回过头看，这件事的意义远超一个数学家的个人职业选择。它折射出AI实验室对顶级数学人才的争夺已经到了什么程度。OpenAI、Anthropic、谷歌DeepMind过去一年在数学人才上展开了事实上的军备竞赛。对AI公司来说，最值钱的人不再是工程师，而是那些能帮模型学会「推理」和「证明」的数学家。

雅各布在自己的X账号帖子里说了一段值得玩味的话：「如果解题的乐趣消失了，很多人可能就不想再做数学了。数学家也是人，需要钱、住房、食物、爱、锻炼，以及各种形式的意义。」

他预测AI在两年内就可能在定理证明上超过人类。到时候数学家只需要说：「这是命题，去证吧。」这不是科幻——他本人已经在用ChatGPT和Claude做日常研究，工具帮他走完80%，剩下20%自己收尾。

问题在于，当数学家也开始被AI「优化」的时候，下一个被优化的会是什么？