AI逼近唯一游戏猜想证明，研究者与机器竞速

2026年9月11日清晨，MIT教授、唯一游戏猜想领域权威Dor Minzer收到朋友短信，询问他是否即将解决理论计算机科学中最著名的开放问题之一。他起初以为是恶作剧，随后更多消息接连涌入。这一事件凸显AI在唯一游戏猜想证明上正逼近突破，研究人员正与机器竞速。目前公开报道仅披露上述经过，尚未给出证明是否完成或由谁完成的确切结论。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。