菲尔兹奖新晋得主齐默尔曼加入OpenAI，主攻AI安全

7月26日消息，日前，在费城举办的2026年国际数学家大会上，雅各布·齐默尔曼（Jacob Tsimerman）成为新晋菲尔兹奖得主之一。颁奖典礼后的新闻发布会上，这位38岁的加拿大数学家宣布职业方向重大调整：他将加入OpenAI，从事人工智能安全方向研究。

齐默尔曼受OpenAI邀请担任外部核验专家，判定AI推导的证明过程逻辑严谨，具备直接刊发于顶级数学期刊的水准。

齐默尔曼提出，随着自主AI系统能力不断变强，仅靠实测验证无法充分保障安全性；数学证明能够搭建更稳固的约束体系，管控多智能体AI系统。OpenAI长期深耕模型对齐、逻辑推理、数理验证，与他的专业高度契合。