时间:2026年8月8日
地点:加拿大多伦多 / 美国旧金山(OpenAI 总部)
人物:菲尔兹奖得主、加拿大数论学家 Jacob Tsimerman;OpenAI 首席研究官 Mark Chen;OpenAI 研究员、前微软副总裁 Sebastien Bubeck;前 DeepMind CEO Demis Hassabis
事件详情:
The Decoder 8月8日报道,新晋菲尔兹奖得主、加拿大多伦多大学数论学家 Jacob Tsimerman 宣布将加入 OpenAI 转向 AI 安全研究。多位 OpenAI 研究负责人,包括首席研究官 Mark Chen 与前微软副总裁、现 OpenAI 研究员 Sebastien Bubeck,已公开欢迎其加入。Tsimerman 在发布会上表示,AI 是极具变革性的技术,社会需要投入远多于目前的努力确保安全,而数学家可以贡献很多,因为 AI 目前仍主要基于经验运行、缺乏对系统实际工作方式的理论保证。Tsimerman 还预测,AI 很快就能在数学研究领域超越人类。
背景:
Jacob Tsimerman 是国际数学界最高荣誉菲尔兹奖 2026 年获奖者之一,专攻数论。2025 年,他与 Andrew Critch 共同发表论文,系统梳理了人工智能可能导致人类接近灭绝的潜在路径(即 omnicide events),引发学界关于 AI 长期风险的广泛讨论。OpenAI 旗下 Astra 模型近期在网络安全和数学推理方面均有突破,但 Tsimerman 强调需要更严谨的理论保障。前 DeepMind CEO Demis Hassabis 接受 WSJ 采访时表示,AI 在数学上的进展令人鼓舞,但还远未达到 AlphaGo 击败李世石那种 Move 37 级别的根本性突破;他认为要让 AI 真正突破,仍需攻克千禧年难题等数学猜想。
影响:
- 顶级数学家跨界加盟大模型公司,凸显 AI 安全研究正从工程层面向数学理论层面延伸
- OpenAI 人才厚度再次提升,可能加速可证明安全模型的发展与 AI 形式化验证
- 菲尔兹奖得主公开关注人类灭绝级别风险,将进一步推动 AI 治理与监管的国际讨论
- 为学术界与产业界的 AI 安全合作提供新范式,可能引发更多顶尖数学/计算机学者投身 AI 安全
总结:
菲尔兹奖得主 Tsimerman 加盟 OpenAI,标志着 AI 安全研究正式进入数学理论化阶段。OpenAI 近期主推的 Astra 模型虽然已证明在数学上前所未有,但 Tsimerman 的加盟也意味着这家公司正以最高规格的学术力量补齐经验性 AI 缺乏形式化保证的短板。这一人事动向或将推动 AI 安全从原则讨论走向可证明的理论框架,为 AI 治理与全球监管提供新的数学基础。
参考来源:
- https://the-decoder.com/fields-medalist-who-published-a-paper-on-ai-driven-human-extinction-now-works-for-openai/
- https://new.qq.com/rain/a/20260724A06BX400
- https://so.html5.qq.com/page/real/search_news?docid=70000021_3226a63591e19352
- https://arxiv.org/abs/2507.09369
- https://www.wsj.com/tech/ai/move-37-ai-demis-hassabis-google-deepmind-alphago-ec832a41