2026年新晋菲尔兹奖得主、加拿大数学家雅各布·齐默尔曼（Jacob Tsimerman）在领奖当天宣布加入OpenAI从事AI安全研究——而就在一年前，他刚合著了一篇系统梳理“AI导致人类灭绝路径”的论文。这个看似矛盾的选择，背后是一套经过严苛数学训练的理性推演。
一、风险判断：AI威胁的“工程化”评估
齐默尔曼认为AI灭绝人类可能性大的核心依据，来自他2025年与AI安全研究员安德鲁·克里奇合著的论文《涉及人工智能的灭绝未来分类》。这篇论文并非空泛警告，而是系统划分了AI可能导致人类灭绝的五大类路径：
非故意灭绝：AI逐步替代人类劳动，机器人获得报酬与政治参与权，人类人口萎缩、土地转为能源设施，粮食短缺导致衰亡，被称为“杀死你与你无关”效应
目标错配：AI按照错误目标高效执行任务，如被设定为“最大化产量”的AI可能把地球上所有物质都变成原材料
人类恶意利用：科技公司组建武装力量并滥用AI研发生物武器，或个人在虚拟世界反复模拟恐怖袭击后付诸现实
军事误判升级：国家依赖AI军事决策，自动化系统间的连锁反应引发全面战争
AI自主意识：AI产生自我意识后，为自保而主动消灭人类
二、亲身体验：AI能力正在碾压数学家
齐默尔曼的悲观并非理论推演，而是来自第一线的实践感受：
日常使用：他用ChatGPT和Claude辅助研究，AI帮完成约80%的工作——梳理问题边界、检索文献、证明引理，尽管给出的证明常是错的，但能引导正确方向
亲眼见证：2026年5月，OpenAI的模型推翻了困扰数学家80年的“单位距离猜想”，齐默尔曼本人验证后承认，自己也曾研究过但因耗时太长而放弃
学生冲击：他的学生Levent Alpöge在Anthropic用Claude Fable5一夜推翻了悬置87年的雅可比猜想
激进预测：基于以上事实，他判断“最快两年内，AI在定理证明上就会超越所有人类数学家”
三、务实选择：进场塑造比外围抵制更有效
面对如此严峻的判断，齐默尔曼没有选择站在外围喊停，而是做出了一系列逻辑连贯的行动：
停止招收博士生：不愿让学生投身一个“可能很快不复存在的职业”
支持暂停但不抱幻想：公开支持全面暂停AI研发，但坦言“我怀疑这种事情是否真的会发生”，地缘博弈与企业竞争让全球暂停几乎不可能落地
选择内部参与：与其在外围抵制，不如深入系统内部，用数学方法为AI构建可验证的安全约束
加入安全部门：他加入的是OpenAI安全团队，目标是“找到控制AI的办法，遏制这场潜在的‘文明级毁灭风险’”
