传闻AI将证明“唯一游戏猜想”，麻省理工学者抢先发表相关里程碑成果

2026年9月11日上午，麻省理工学院教授、“唯一游戏猜想”领域的权威学者多尔·明泽收到朋友短信，询问他是否即将解决这一理论计算机科学中最著名的未解问题之一。随后传言逐渐清晰：刚刚公布流体行为重磅证明的人工智能公司OpenAI，据称已找到该猜想的证明，可能随时公开。明泽本人并未证明唯一游戏猜想，但他与研究生费雨谋、王硕近期在一个密切相关的问题上取得了里程碑式成果。为免被OpenAI的新闻稿盖过，三人加快完成通常需要数月的写作，三天后在网上发布了一篇95页的论文，并在首页注明稿件在数学上已完整，但尚未达到他们希望的呈现状态。10月6日，OpenAI宣布证明了唯一游戏猜想以及横跨多个数学领域的另外376项结果。唯一游戏猜想由苏巴什·霍特于2002年提出，大意是：在某些图着色等约束满足问题中，即便只求满足一小部分约束的近似解，也可能极其困难。若猜想成立，许多看似无关问题的现有求解方法将无法改进。不过该猜想只适用于最优解满足大部分约束的情形，不涉及存在完美解的情况，霍特为此提出了约束更宽松的“2对1游戏”猜想。明泽团队证明了该猜想的一个略有不同的变体，其推论与原猜想几乎相同，这项工作历时七年。卡内基梅隆大学的瑞安·奥唐奈评价这是又一篇真正出色的论文。