MIT团队抢发95页论文应对AI冲击：4-to-1博弈猜想证明与优先权之争
2026/10/23 08:29阅读量 2
因担忧OpenAI即将公布关于“唯一博弈猜想”的证明，MIT副教授Dor Minzer携两名博士生在3天内赶出95页预印本并提前发布。该论文证明了4-to-1博弈猜想及相关的图着色NP困难性结论。随后OpenAI发布了更强但存在错误的数学成果，引发学界对AI时代数学研究优先权、知识积累方式及青年学者选题压力的广泛讨论。
事件概述
2026年9月，美国麻省理工学院（MIT）数学系副教授多尔·明泽（Dor Minzer）获悉OpenAI可能已证明困扰学界多年的“唯一博弈猜想”（Unique Games Conjecture）。为避免七年研究成果被AI抢先发布而淹没，明泽与其合作者费雨缪（Yumou Fei）、王硕（Shuo Wang）决定提前公开手稿。三人于9月14日在计算复杂性电子论坛（ECCC）上传了一篇95页的预印本，确立了该工作的学术优先权。
核心信息
- 人类团队的突破：明泽团队利用新的纠错码构造方法，成功证明了4-to-1博弈猜想（4-to-1 Games Conjecture）。基于此结论，团队进一步推导出一个长期存在的图着色难题的答案：即使已知某图可用三种颜色合法着色，若额外提供固定数量的颜色（如十种或一百种），寻找合法着色方案依然是NP困难的。这表明“以宽换快”的算法优化策略在此类问题上存在理论上限。
- AI的介入与争议：2026年10月6日，OpenAI正式公布了包含722份文稿的数学研究成果，涉及唯一博弈猜想等更强力度的结论。然而，次日OpenAI因正负号错误撤回了三份文稿并修补了14份，表明其成果尚未经过严格的学界验证。OpenAI使用内部模型尝试攻克数千道数学题，平均计算投入相当于ChatGPT Pro进行约三小时的思考。
- 学术生态的影响：此次事件引发了关于AI时代数学研究范式的讨论。独立咨询小组AGMAI指出，虽然AI能快速生成候选证明，但数学家仍需理解推导过程以积累知识。同时，年轻学者面临巨大压力，若课题随时可能被AI解决，将影响其选题意愿和职业发展。学界呼吁AI实验室公开研究过程并接受外部验证，而非仅将数学问题作为展示模型能力的竞赛。
值得关注
- 方法论价值：尽管OpenAI的结果在强度上更强，但明泽团队通过失败尝试积累的纠错码构造思路和新工具，构成了可被后续研究引用的实质性贡献。
- 验证机制缺失：目前AI生成的数学证明主要依赖形式化助手（如Lean）检查逻辑步骤，但若命题翻译出错，计算机验证可能无效。如何建立高效的AI数学成果验证体系仍是行业痛点。