AI 逼近唯一游戏猜想证明，研究者抢先冲刺
摘要
2026 年 9 月 11 日，MIT 教授 Dor Minzer 收到朋友短信，询问他是否即将解决理论计算机科学中最著名的开放问题之一。Minzer 是“唯一游戏”猜想领域的顶尖专家，起初以为这是玩笑，随后更多消息接连传来。
摘要由模型根据原文撰写，以原文为准。
正文 · 原文
On the morning of September 11, 2026, Dor Minzer received a text message from a friend asking whether he was close to settling one of the most famous open questions in theoretical computer science. Minzer, a professor at the Massachusetts Institute of Technology and a leading expert on the “unique games” conjecture, initially thought it was a joke. Then more messages started coming in…
注意转载授权 · 阅读原文
来源：Quanta Magazine · quantamagazine.org
引用原文
Ben Brubaker. As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machines[EB/OL]. (2026-10-07)[访问日期]. https://www.quantamagazine.org/as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines-20261007/.