云端浪潮记
7-24 17:11来自 科技看点

他的学生也用AI推翻数学猜想,师徒会合作吗?

2026年7月23日,新晋菲尔兹奖得主雅各布·齐默曼(Jacob Tsimerman)在费城领奖后宣布加入OpenAI从事AI安全研究,而他的学生Levent Alpöge几天前刚用AI模型推翻了悬置87年的雅可比猜想,师徒二人分别投身两大顶级AI公司,令外界高度关注他们未来是否会携手合作。

一、师徒二人:从数学殿堂到AI前沿

1. 老师的选择:从菲尔兹奖到AI安全

Jacob Tsimerman因证明算术几何中的安德烈-奥尔特猜想而荣获2026年菲尔兹奖,该猜想困扰了学界近40年。但在领奖发布会上,这位38岁的加拿大数学家直言“世界正在发生变化,我所熟知的数学职业不会再以现在的形式存在了”,并当场宣布即将入职OpenAI,专注AI安全研究。OpenAI首席研究官Mark Chen及前微软副总裁、现OpenAI研究员Sebastien Bubeck均确认了此消息。Tsimerman此前曾发表论文,系统分类了AI可能导致人类灭绝的路径,他认为AI“很快就会在做数学这件事上比数学家更强”。

2. 学生的突破:AI一夜推翻87年猜想

几乎同时,Tsimerman的学生、现为Anthropic研究员的Levent Alpöge,利用Claude Fable 5模型构造出了一个极短反例,证伪了悬置87年的雅可比猜想。该结果已获多位数学家快速验证,被视为AI在数学发现领域的一次范式突破。有观察者指出,老师Tsimerman的X账号只发过一条帖子,内容是讨论“数学家将如何失业”,而学生Alpöge几乎是用AI把老师的预言提前兑现了。

二、师徒关系:数学传承与AI时代的分叉

1. 共同的数学基因

Tsimerman与Alpöge的学术纽带深厚。Tsimerman是多伦多大学数学教授,Alpöge曾是其博士生之一。Tsimerman已明确停止招收博士生,理由是不想让学生为“一个可能不复存在的职业”做准备。这一举动本身就暗示了他对数学职业前景的根本性判断——而他的学生Alpöge,恰恰以自己的实践证明了这一判断。

2. 分属两家公司:OpenAI vs Anthropic

有趣的是,师徒二人目前分别加入了AI领域的两大核心企业:Tsimerman去了OpenAI,Alpöge则在Anthropic。这意味着,尽管两人在学术根基上同出一门,但在产业和研究的实际执行层面,他们分属不同的阵营。这种局面既可能因共同的研究目标而促成跨界协作,也可能因各自公司的战略方向和研究文化差异而保持并行。

三、师徒合作的可能性分析

1. 共同的数学观与AI观

Tsimerman和Alpöge都深刻认识到AI正在重塑数学研究的底层逻辑。Tsimerman预言“两年内AI在证明定理上可能就比人类强”,并认为数学家需要适应“提出命题,让AI去证”的新范式;Alpöge则通过实际案例证明,AI不仅能够辅助验证,还能独立构造反例、颠覆经典认知。这种认知高度一致,为师徒合作打下了坚实的思想基础。

2. 优势互补:安全视角与突破能力

Tsimerman在OpenAI主攻AI安全,他对“AI导致人类灭绝”路径的系统梳理,代表了对技术风险的前瞻性管控。而Alpöge在Anthropic展示的,是AI在数学创造层面的巨大潜能。如果师徒合作,将形成一种“突破-管控”的闭环:由AI不断实现数学新发现,再由安全视角对这些发现的边界与风险进行评估,从而在推动学科前沿的同时确保安全可控。

3. 跨公司协作的技术可行性

虽然分属OpenAI和Anthropic,但AI领域顶尖人才之间的学术交叉并非罕见。师徒二人所从事的“AI for Math”方向,本质上需要数学家对AI产出的推理进行人类层面的验证与解读,而Tsimerman作为菲尔兹奖得主,其数学直觉与判断力恰好可以弥补AI在意义理解、问题选择等方面的短板。这种跨组织的知识与经验互补,完全有可能催生以论文或开源项目为载体的合作关系。

四、对数学研究范式的深层影响

1. 从“人写机器验”到“机器写人验”

Tsimerman和Alpöge师徒的行动共同指向一个趋势:数学研究的核心分工正在悄然改变。传统模式下,人类数学家负责提出猜想、撰写证明,AI仅作为验证工具;而如今,AI已能够独立推翻已有猜想、提出新构造,人类专家的角色逐渐转向“评估与理解”。邓煜等同行也提到,AI已在具体研究中帮助简化局部引理的证明,甚至给出人类意想不到的思路。

2. 菲尔兹奖的“最后一届纯人类参与”讨论

在2026年菲尔兹奖揭晓的同时,不少人半开玩笑地表示,这可能是“最后一届获奖成果还主要由人类独立完成的菲尔兹奖”。随着Tsimerman这样刚站上数学最高领奖台的学者,转身投入AI安全研究,并直言“数学职业不会以现在的形式存在”,数学界内外关于“AI与数学未来”的讨论被推向了一个新的高度。