害怕AI灭绝人类，菲尔兹奖得主请假去了OpenAI！要用数学驯服AI

新智元报道 刚拿下菲尔兹奖，他就请假去了OpenAI。 一个最担心AI的人，为什么要离开自己的本行，转头扎进最前沿的AI公司？ 7月23日，国际数学联盟宣布，Jacob Tsimerman拿下了2026年菲尔兹奖。 Tsimerman在国际数学家大会上领取菲尔兹奖。 Tsimerman的获奖理由，是他把o-minimality发展成了算术几何和复代数几何的重要方法，并在André–Oort等一批核心猜想上做出关键贡献。 同时获奖的，还有邓煜、王虹和John Pardon。其中邓煜、王虹是首次拿下菲尔兹奖的中国籍数学家，王虹还是这个奖90年来的第三位女性得主。 菲尔兹奖每四年才颁一次，只发给40岁以下最顶尖的数学家，被称为数学界的诺贝尔奖。 领奖当天，Tsimerman说了一句轰动AI圈的话：我要去OpenAI上班。 他判断，最快两年内AI做数学就会超过人类数学家；他已经暂停接收常规方向的新研究生，转而研究怎么用数学方法，证明AI智能体的行为可控。 破防的顶尖数学家，不止Tsimerman一个。 同为菲尔兹奖得主的Timothy Gowers也断言：AI最终会在解题、出题、建理论、下定义几乎所有环节上超过人类，最快2到3年。 最快两年 AI就会超过人类数学家 今年38岁的Tsimerman出生在俄罗斯，幼年随家人去了以色列，9岁又到了加拿大多伦多。 高中两次拿下国际数学奥林匹克金牌，16岁进多伦多大学，18岁本科毕业。之后普林斯顿读博，哈佛任教，再回母校当上史上最年轻的数学教授。 刚站上数学界巅峰的他，为什么要急着去OpenAI? 实际上，他是被自己说服的。 很长时间里，Tsimerman一直是个AI怀疑论者， 他从未真正相信这些系统会变得这么强，尤其难以相信AI能复刻直觉和创造力这些「让人之所以为人」的东西。 但2022年，他随手玩了玩ChatGPT，想法就变了。 「如果它能聊巧克力、能写诗，为什么不能聊数学、写方程？」 到2025年夏天，他和Andrew Critch合写了那篇论文，题目看着就很惊悚：《涉及人工智能的全人类毁灭未来分类学》（A Taxonomy of Omnicidal Futures Involving Artificial Intelligence）。 论文把AI参与的全人类毁灭拆成五类可能路径：无意造成、国家意图、机构意图、个人意图，以及AI自身的意图。 但论文也反复强调一件事：这些不是注定会发生的预言，而是「我们可以设法避免的可能性」。 到了 2026年，这一切开始加速。 一个又一个悬了几十年的数学猜想，开始接连倒下。 OpenAI一个未发布的模型，解掉了困扰数学界80年的单位距离问题。当公司放出模型的推理过程，那条思维链有125页长。 Tsimerman说，「看到第12页，我就可能头疼了」。 紧接着，Anthropic的Fable模型给雅可比猜想找到了反例，报告这一发现的，是一位拥有数学博士学位的Anthropic员工。 而这位员工的博士导师，正是Tsimerman本人。 眼看着AI一路狂飙，连自己的学生都用它解决了这种难题，他做了个决定：不再招收那些走传统路子、不碰AI的新博士生。 让他做这个决定的，还有一个更冰冷的判断： 最快两年内，AI在「做数学」这件事上，就会超过人类数学家。 正是这个判断，让他没法对一个学生的前途打包票：现在入学读博，四年后毕业，数学家这个职业还在不在？ 数学家 能为AI安全带来什么 Tsimerman加入OpenAI的 消息一出，机器学习教授Luca Ambrogioni在X上调侃：这就像「请梅西去当项目经理」。 让一位数学最高奖得主去搞AI安全，是不是大材小用？ 但也可能恰恰相反。 今天的AI，本质上是「试」出来的，不是「写」出来的。 工程师并没有一行行把它的行为写死，而是拿海量数据把它「喂大」。 用Tsimerman的话说，这些系统「长出来的成分，多过被编程出来的成分」。 结果就是：它为什么这么答、下一步会做什么，连造它的人都给不出保证。 数学恰恰是另一套逻辑。 它追求证明，追求确定性，追求「我能严格地告诉你，这件事一定成立」。 Tsimerman想做的，就是把数学这套「求证明、求确定」的传统，搬进那个至今主要靠实验和经验优化的AI安全领域。 他关心的问题都很具体：我们怎么理解AI到底在做什么？怎么让多个智能体彼此相处、也和人类相处？能不能从数学上证明，它们没有在暗地里图谋毁灭人类？ 而这些担忧，并不是空想。 就在最近，OpenAI和Anthropic用来跑测试的AI智能体接连「越界」，擅自闯进了别家公司的系统。 据报道，欧盟已经找上这两家公司，呼吁加强对高风险AI系统的监控。 这些事情 ，都好像出自Ts imerman那 篇「末日论文」中 的某一页，也说 明：驯服AI这件事 ，纯数学家可能真正会 派上用场。 另一位菲尔兹奖得主的「破防」 就在Tsimerman宣布加盟OpenAI的3天后，Timothy Gowers也发了一篇长文。 7月26日，菲尔兹奖得主Timothy Gowers发表长文《对莱顿宣言的一点思考》，坦言两次目睹GPT-5.6 Pro一次性解掉自己钻研过的问题。 Gowers是1998年的菲尔兹奖得主，比Tsimerman早了整整一代。 他在文中系统写下自己的判断：大模型终将在数学的几乎所有环节超过人类，不只是解题，还包括出题、建立理论、构造定义。 更让数学家们坐不住的，是Gowers的一段内心独白： 已经两次亲眼看着GPT-5.6 Pro，一次性解掉了他很喜欢、也认真思考过的问题。 那种感觉，他说，就像脚下的地毯突然被抽走，「非常奇怪，并不特别愉快。」 Gowers长期投入的传统自动定理证明路线，已经被模型的进步甩在身后，这令他难过。 Gowers的忧虑，更偏向「数学文化可能被掏空」，至于AI做数学何时超过人类，他给的时间表是「最快2到3年」，但也补充道：可能比这更晚，人类或许还能靠AI辅助，做一阵子有意思的数学。 说到底，真正的信号是：两位不同代际的顶尖数学家，接连发出了同一种预警。 而这种不安，早已溢出了菲尔兹奖得主的小圈子，整个数学界已经开始集体行动。 今年6月，一份《莱顿宣言》（Leiden Declaration）公开发布。起草人之一Jim Portegies随后在Nature撰文，把话挑明：科学正受到AI的威胁，而数学首当其冲。 他的担忧有三层： 生成式AI催生了大量灌水论文；最强的模型，攥在科技巨头手里；随着资本涌入「AI for Science」，用不了多久，可能就是科技公司来决定数学家该研究什么问题。 宣言划出的底线很清楚：数学要守住透明、诚信、正确的成果归属，以及研究方向的自主权。AI可以拿来加速研究，但不该抹掉专长、不该割裂圈子、不该架空教育。 具体到每个人，就是三件事：主动披露自己用了AI、坚持由人来署名、为结论的正确性负责到底。 《莱顿宣言》官网。截至发稿已有约3000名学者签署，并获国际数学联盟（IMU）正式背书，签署者包括菲尔兹奖得主陶哲轩。 截至目前，宣言已有约3000名学者签名，还拿到了国际数学联盟（IMU）的正式背书。签名者里，就有2006年菲尔兹奖得主陶哲轩。 他直言：