拿了菲尔兹奖的数学家，为什么跑去 OpenAI 研究 AI 安全了？

今天早上刷到一条消息，愣是看了两遍才确认我没看错——2026 年菲尔兹奖得主 Jacob Tsimerman，宣布加入 OpenAI。

对的，就是那个数学界的最高荣誉。四年才颁一次，给 40 岁以下最顶尖的数学家。今年刚颁完，人就往 AI 公司跑了。

而且他不是去搞算法优化或者数学建模的。他在发布会上亲口说的：「我将转向 AI 安全研究。」

这事让我琢磨了一整天。

菲尔兹奖得主，到底有多牛？

先简单说说 Jacob Tsimerman 这个人。多伦多大学教授，研究方向是算术和复代数几何。这次拿奖是因为他在把 o 极小性重新定义为算术和复代数几何基本方法上做了开创性工作，还解决了格里菲斯关于周期图像代数性的猜想，以及安德烈-奥尔特猜想。

翻译成人话就是——他在纯数学最难最抽象的领域做到了世界顶级。

这种级别的人，从纯理论跨界到 AI，很罕见。上一个重量级选手还是几年前微软挖来的 Sebastien Bubeck，现在也是 OpenAI 的人了。

说实话，AI 安全这个方向选得挺有意思。

现在大模型的能力越来越强，但我们其实还没搞清楚这些东西到底怎么「思考」的。OpenAI 自己都承认，模型内部的很多行为是黑箱。安全问题不仅仅是「模型会不会说错话」，而是更底层的东西——模型会不会在某些情况下做出不可预测的行为？

而数学家，特别是搞代数几何和数论的人，对「形式化验证」和「确定性证明」有天然的敏感。你让一个纯数学家去测试一个概率系统是否安全，这个组合听起来很怪，但仔细想想又很合理。

前微软副总裁、现在 OpenAI 的研究员 Sebastien Bubeck 也在推上确认了这个消息，说他非常欢迎 Jacob 的加入。看得出来 OpenAI 在安全方向上是真的想投入重兵。

消息出来之后，我翻了一圈讨论。大部分人的反应跟我差不多：先是惊讶，然后觉得挺有道理。

有网友评论说：「连菲尔兹奖得主都觉得 AI 安全是个值得研究的真问题，那这肯定不是炒作。」

也有人调侃：「数学太难了，还是来搞 AI 吧，至少能跟普通人解释自己在做什么。」

当然也有比较深的分析。一位数学系的博士在知乎上说，Jacob Tsimerman 的研究方向跟 AI 形式化验证其实有潜在的联系。o 极小性理论本质上是在研究某种结构下的「可定义性」边界——听着是不是有点耳熟？AI 对齐问题说到底，也是给 AI 的行为画一个安全的边界。

这个新闻也引发了一个老话题：顶级数学人才被 AI 行业吸走，对数学基础研究是好事还是坏事？

站在数学界的角度肯定有点心疼。菲尔兹奖得主一共就那么多，四年才出四个。每一个都是国宝级的科研人才。Jacob 去了 OpenAI 之后还能不能产出纯数学成果，确实是个问题。

但换个角度想，如果 AI 安全真的需要最聪明的人来解决，那数学家来做这事可能比纯码农更适合。毕竟安全问题涉及的是推理、逻辑和边界条件，这些都是数学家的老本行。

OpenAI 首席研究官 Mark Chen 的欢迎词说得挺到位：「我们需要来自不同学科的最优秀头脑，共同面对 AI 带来的挑战。」

我觉得，与其说这是数学界的损失，不如说这是跨学科融合的一个信号。当最纯的理论数学和最实际的工程问题开始通婚，出来的东西往往最有意思。

等着看 Jacob 在 OpenAI 能搞出什么吧。反正我挺好奇的。