智猩猩AI整理
编辑：林夕
Jacob Tsimerman因证明悬置近40年的André-Oort猜想，获颁2026 年菲尔兹奖。
记者会上被问下一步计划，他直接摊牌：即将加入OpenAI，方向是AI安全。
OpenAI方面反应迅速，安全研究员、哈佛教授Boaz Barak和微软前副总裁、现 OpenAI研究员Sebastien Bubeck随即发文欢迎。
这个选择不是一时冲动。
Tsimerman的X账号2014年注册，十几年只发过一条帖子。
内容是对数学家Daniel Litt提问的回应——"解题在数学研究里到底占多大分量？"他的答案是"几乎是全部"。
他写道：
只要有人解决了 Zilber-Pink 猜想的一般形式……我的整个主要研究领域，就消失了。一整个学术共同体，数学家、博士后、研究生，全都围着这一个猜想转。被解决的那天，所有人重新找问题。这个过程令人迷失方向，消耗大量能量，既不简单，也不总是有趣。
这句话今天看来像预言。过去两年，他日常用ChatGPT和Claude辅助研究，论文产出翻了一倍。
他在AMS Notices访谈中给出时间表：
五年？我觉得两年内，它在证明定理上可能就比我们强了。到时候我们只需要说：这是命题，去证吧。
目前，他已停止招收博士生，理由是不想让学生为一个可能不复存在的职业做准备。
颁奖前几天，Tsimerman 在哈佛Junior Fellow时期指导过的学生 Levent Alpöge（现任 Anthropic 数学家），用Claude Fable 5一夜之间找到了雅可比猜想（1939 年提出，87 年悬案）的反例。
菲尔兹奖得主Timothy Gowers评价这是"LLM 第一次解决了一个我久仰大名但不在我研究领域内的重大问题"。
2025 年，Tsimerman与老友Andrew Critch合写了一篇《涉及 AI 的灭绝性未来的分类》的论文，将AI灭绝人类的可能路径系统性地分为五类。
他公开说过支持暂停 AI，但给出了逻辑闭环：
我不认为暂停会发生。既然挡不住，与其站在外面抵制，不如进场搞清楚它、参与塑造它，否则我们可能会被甩下。
今年5月，OpenAI的模型推翻了悬置80年的埃尔德什单位距离猜想，Tsimerman是参与验证的九位数学家之一，那条思路他自己试过，放弃了。
他在X上唯一那条帖子里还写过一句话："I think our jobs are going to disappear."
他花了十二年，从预言它消失，到走进让它消失的东西里面去。
热门跟贴