唯一游戏猜想证明竞赛：Minzer 团队抢在 OpenAI 前发表里程碑结果

2026 年 10 月 6 日，OpenAI 宣布证明唯一游戏猜想，并同时发布跨数学各领域的另外 376 项结果。约三周前，MIT 教授 Dor Minzer 与研究生 Yumou Fei、Shuo Wang 抢先公开 95 页论文，证明 Khot 的 2-to-1 游戏猜想的 4-to-1 变体，并由此推出经典图着色问题的一项难度结论。