OpenAI 传闻将公布 unique games 猜想证明，MIT 团队抢先发布 95 页论文
来源Quanta查看原文
速览
- OpenAI 传闻将公布 unique games 猜想证明，引发理论计算机科学界震动。
- MIT 团队抢先发布 95 页论文，证明 2-to-1 游戏猜想的 4-to-1 变体。
- 该结果推出经典图着色问题的新难度结论：即使允许更多颜色，仍存在难解图。
- OpenAI 于 10 月 6 日公布 unique games 猜想证明及 376 项其他数学结果。
- OpenAI 的证明经 Lean 验证，但未经人工编辑或独立专家评审。
- 研究者对 AI 证明反应复杂，既担忧又认为可能开辟新方向。
- Minzer 担忧 AI 工具改变研究过程，削弱失败的价值并 discouraging 长期项目。
2026 年 9 月 11 日，MIT 教授 Dor Minzer 收到朋友短信，询问他是否接近解决理论计算机科学中最著名的开放问题之一。随后更多消息传来，传闻称 OpenAI 在公布流体行为证明后，又发现了 unique games 猜想的证明，可能随时公开。Minzer 本人并未证明该猜想，但他与研究生 Yumou Fei、Shuo Wang 近期证明了一个密切相关问题的里程碑结果。三人原本需要数月时间撰写论文，但在传闻压力下，他们优先保证完整性而非清晰度，三天后在线发布了一篇 95 页论文，首页附有免责声明：“当前版本在数学上是完整的，但并非我们希望分享的形态。”10 月 6 日，OpenAI 宣布了 unique games 猜想的证明，以及横跨多个数学领域的 376 项其他结果。研究者对 AI 证明的洪流反应复杂，但对 Minzer 的结果则一致赞誉。
关键事实
- 2026 年 9 月 11 日，Dor Minzer 收到朋友短信，询问他是否接近解决 unique games 猜想。
- 传闻称 OpenAI 已发现 unique games 猜想的证明，可能随时公开。
- Minzer 与研究生 Yumou Fei、Shuo Wang 证明了一个密切相关问题的里程碑结果。
- 三人于三天后在线发布 95 页论文，首页声明数学上完整但形态不理想。
- 2026 年 10 月 6 日，OpenAI 宣布了 unique games 猜想的证明，以及 376 项其他结果。
- Minzer 团队实际证明的是 Khot 的 2-to-1 游戏猜想的一个稍弱版本，每个约束有四个选项而非两个。
本站视角
对中文理论计算机科学和 AI for Math 研究者而言，这件事标志着 AI 开始侵入此前被视为人类智力堡垒的领域。OpenAI 若真能生成 unique games 猜想的证明，意味着 AI 在数学发现上的能力已从辅助计算跃升至提出核心猜想证明。但需注意，OpenAI 的证明未经独立专家评审，仅经 Lean 验证，其数学意义和正确性仍需社区检验。Minzer 团队的快速发布则反映了 AI 时代学术竞争的扭曲：研究者被迫放弃打磨论文，以抢占优先权。我们认为，这暴露了当前 AI 研究发布文化的隐患——以新闻稿驱动、缺乏同行评审，可能损害数学的严谨性。对国内做 AI for Math 的团队，这既是警示也是机会：应关注如何将 AI 生成证明与人类可验证的数学理解结合，而非盲目追逐数量。同时，Minzer 关于“失败的价值”的担忧值得重视：过度依赖 AI 可能削弱研究者探索长期难题的耐心和直觉。
背景与影响
unique games 猜想由复杂度理论家 Subhash Khot 于 2002 年提出，是计算复杂度理论中的标志性问题。它大致断言：同时满足多个约束的问题可能极其困难，即使只要求近似解。该猜想与许多看似无关的问题深度关联，包括泡沫几何和投票系统性质。2008 年，Prasad Raghavendra 证明，若该猜想为真，则某个经典算法是所有无完美解的约束满足问题的最佳策略。但该猜想仅适用于最佳解满足大多数约束的情况，不涉及存在完美解的情形。为此，Khot 定义了 2-to-1 游戏问题，允许每条边另一端有两个可能颜色。证明这一较少人知的猜想将推出许多其他问题的结果。Minzer 团队的工作历时七年，2026 年 4 月成功，他们证明的 4-to-1 版本已能推出 Khot 原始猜想的许多推论。OpenAI 的证明则是 AI 生成证明在理论计算机科学中最高调的例子，其发布方式引发了对“通过新闻稿做数学”的担忧。
本文由 AI 辅助整理自公开信源，事实部分以原文为准；「本站视角」一节为编辑部判断，欢迎指正。版权归原作者所有，如有异议请联系我们。