齐默曼的学生用Claude解决雅可比猜想说明了什么趋势？
2026年7月，新晋菲尔兹奖得主雅各布·齐默曼的学生Levent Alpöge在Anthropic用Claude Fable 5构造出雅可比猜想在三维及以上的反例，而齐默曼本人则在领奖当天宣布加入OpenAI从事AI安全研究，这一师一徒的动向共同揭示了数学研究范式正在被AI深刻重塑的趋势。
一、事件全貌：师徒二人的镜像选择
1. 雅可比猜想被AI攻破
2026年7月，Anthropic研究员Levent Alpöge使用Claude Fable 5，成功构造出雅可比猜想在三维及以上的反例。这一猜想自1939年提出以来已悬置87年，被视为代数几何领域的核心难题之一。Alpöge正是2026年菲尔兹奖得主齐默曼本科时期指导过的学生。
2. 导师齐默曼加入OpenAI
就在雅可比猜想被攻破的同一周，齐默曼在2026年国际数学家大会上领取菲尔兹奖后，于新闻发布会上宣布将加入OpenAI，转向AI安全研究。他坦言“AI很快将在数学证明上超越人类”，并且已经停止招收新的数学博士生，认为不应让学生为“可能几年内就不复存在的职业”做准备。
3. 时间线高度重合
齐默曼的学生用AI解决数学难题，而导师本人从数学界转向AI公司——这两件事几乎同时发生，形成了一种强烈的共鸣。有观点半开玩笑地称2026年可能是“最后一届获奖成果还主要由人类独立完成的菲尔兹奖”。
二、趋势一：AI正式成为数学研究的核心生产力
1. 从辅助工具到独立发现者
雅可比猜想的突破展现了一个关键变化：AI不再只是数学家的“计算器”或“文献检索工具”，而是能够独立完成定理发现和反例构造的合作伙伴。此前，OpenAI的通用推理模型已在2026年5月独立证伪了悬置80年的埃尔德什平面单位距离猜想。
2. 速度优势碾压传统研究
齐默曼曾公开表示：“过去两年AI已经把我的科研产出翻了一倍。”他进一步预测，AI可能在两年内（即2028年前后）在所有数学证明领域超越人类。Tsimerman本人是埃尔德什猜想验证的九位数学家之一，他坦言该思路自己之前试过但“因耗时太长放弃”——而AI做到了。
3. 数学职业形态面临重定义
齐默曼在发布会上直言：“我们所熟知的数学职业，我认为它不会再以现在的形式存在了。”他不仅自己做出选择，还主动整理资源清单供想转行AI的数学家参考。这一判断得到了其他菲尔兹奖得主的呼应——陶哲轩也承认AI已经“可以正式上场了”。
三、趋势二：数学家从象牙塔集体流向AI公司
1. 顶尖人才“用脚投票”
齐默曼的转会并非孤例。2025年，57岁的解析数论权威Ken Ono辞去弗吉尼亚大学终身教职，加入AI数学公司Axiom Math成为第15号员工。而齐默曼的学生Alpöge目前已在Anthropic任职，师徒二人分属OpenAI和Anthropic两家头部AI公司。
2. 从“恐惧AI”到“参与塑造AI”
齐默曼此前曾于2025年与AI安全学者安德鲁·克里奇合著论文《人工智能导致人类灭绝的未来情景分类》，系统梳理了AI可能导致人类灭绝的五类路径。但他最终选择加入OpenAI的逻辑是：“既然挡不住，不如进场搞清楚它、参与塑造它，否则我们可能会被甩下。”
3. 数学能力成为AI安全的“基础设施”
OpenAI对齐默曼的欢迎说明了一件事：强大的数学基础被认为能够帮助机构夯实大模型理论、识别潜在风险，为人工智能建立可靠约束体系。数学家的核心能力——在抽象空间中进行严谨推理和搜索——正是构建可控AI所最需要的能力。
四、趋势三：人机协作成为数学研究的新常态
1. 齐默曼本人的日常实践
尽管公开担忧AI风险，齐默曼在工作上早已常态化使用大语言模型，依靠AI加快文献梳理、完成定理初步核验。他透露，AI正在从“一个好用的计算器”进化为“一个真正能思考的同行”。
2. 数学发现流程的重新分工
人类数学家目前仍具有独特优势：提出真正新的问题、跨学科想象力、以及创造全新的数学工具。王虹证明三维挂谷猜想、邓煜攻克希尔伯特第六问题，都需要AI目前难以复制的“问题重新表述能力”。但AI在“已有框架内搜索解决方案”方面已全面领先。
3. 未来可能的分工模式
齐默曼在接受Quanta Magazine采访时描绘了一种可能的前景：数学家只需要说“这是命题，去证吧”，AI即可完成证明过程。而人类的核心价值将转向提出正确的问题、理解证明的意义，以及构建理论体系。
五、趋势四：AI安全成为顶尖大脑的汇聚方向
1. 从数学巅峰到安全前线
齐默曼的选择代表了一种认知转变：解决数学难题固然重要，但确保AI发展不失控的优先级更高。他在获奖发布会上强调自己需要“非常高的保证水平”来应对高利害系统风险，而OpenAI近期的数学证明能力已达顶级期刊水准。
2. 安全研究的“数学化”
数学家加入AI安全领域具有独特价值。齐默曼此前参与的AI灭绝风险分类论文，本质上就是将复杂的风险场景进行数学化、结构化梳理，这恰恰是代数几何学家的核心技能。
3. 智力资源的重新配置
这一趋势被媒体称为“智力资源流向的明确风向标”。顶尖数学家主动“为AI系上安全带”，说明数学界的精英群体正在将AI安全视为比纯数学研究更具优先级的时代课题。
六、总结
齐默曼的学生用Claude解决雅可比猜想，同时导师本人从纯数学转向AI安全——这两件事情不是孤立的巧合，而是同一种趋势的两种表达：AI正在从根本上改变数学研究的形态，而数学家们也正在用行动重新定义自己的职业边界。正如齐默曼所说：“你不是因为擅长数学就必须当数学家。”未来，选择做什么研究，可能比能做什么研究更关键。