菲尔兹奖新晋得主齐默尔曼加入OpenAI 主攻AI安全
在费城举办的2026年国际数学家大会上，雅各布·齐默尔曼（Jacob Tsimerman）成为新晋菲尔兹奖得主之一。颁奖典礼后的新闻发布会上，这位38岁的加拿大数学家宣布职业方向重大调整：他将加入OpenAI，从事人工智能安全方向研究。
这一决定与齐默尔曼一年前的公开立场形成鲜明反差。2025年7月，他参与撰写《人工智能潜在毁灭性灾难场景分类框架》，梳理了高阶人工智能致使人类灭绝的多条可能路径。他当时公开认为这类极端风险发生概率不容小觑，呼吁暂停前沿人工智能研发；同时坦言，地缘博弈与企业商业竞争大概率会让全球研发暂停协议难以落地。即便频频发出风险警示，齐默尔曼日常工作早已常态化使用大语言模型，依靠AI加快文献梳理、完成定理初步核验。
人工智能能力飞速迭代，让他的研究思路发生转变。今年早些时候，齐默尔曼昔日博士生、任职于Anthropic的数学家莱文特・阿尔珀格对外表示，借助AI协作，团队找到了有着百年历史的雅可比猜想的反例。不久后，OpenAI对外披露，其内部推理模型独立证出存在反例，推翻了已有80年历史的单位距离猜想。齐默尔曼受OpenAI邀请担任外部核验专家，判定AI推导的证明过程逻辑严谨，具备直接刊发于顶级数学期刊的水准。接连的进展让他意识到，人工智能正在从计算辅助工具，转变为严谨数理发现的主动参与者。
齐默尔曼意识到，无论安全领域如何争论，前沿AI研发都不会止步，于是研究重心从“阻止风险诞生”转向“对齐管控风险”。他提出，随着自主AI系统能力不断变强，仅靠实测验证无法充分保障安全性；数学证明能够搭建更稳固的约束体系，管控多智能体AI系统。OpenAI长期深耕模型对齐、逻辑推理、数理验证，与他的专业高度契合。
此次择业也折射出学术界整体格局变化。齐默尔曼宣布不再招收常规数学博士生，理由是一旦机器在严谨逻辑推理层面稳定超越人类，传统数学科研职业路径的存续性存疑。OpenAI尚未公布他的具体岗位，也未说明他是否保留多伦多大学教职；但他的入职印证行业愈发需要深耕数理逻辑的数学家，打通高阶AI能力与可核验安全规范。此举也代表学界主流务实转向：科研界不再执着于叫停技术发展，转而优先搭建可管控AI的数学体系。
