北京时间2026年7月23日晚，国际数学家大会在美国费城开幕，加拿大数学家雅各布·齐默尔曼荣膺菲尔兹奖。典礼后，他宣布将加入OpenAI，专职从事人工智能安全研究。此决定引人注目，因其曾发表论文系统论述AI致人类灭绝路径，并公开支持暂停前沿AI开发。齐默尔曼态度转变源于其科研实践。作为率先将大模型引入数学研究的学者，他亲历了AI从文献检索到直接参与定理反例构造的演进。在协助验证OpenAI模型发现的数学猜想反例后，他高度认可AI推理能力，并预言其将在短期内超越人类证明效率。面对技术演进趋势，他认为与其争论发展节奏，不如运用数学方法为复杂AI系统建立严格的安全约束。目前，齐默尔曼已逐步将研究重心转向多智能体系统的数学证明与安全评估。其跨界转向标志着顶尖数学人才向AI治理领域的深度融入，也为前沿科技的安全演进提供了基于数理逻辑的新范式。