Quanta Magazine · AI· Ben Brubaker·· 4 hr agoAI score32
AI 逼近「唯一游戏」猜想证明，研究人员与机器竞速
As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machines
AI brief
2026 年 9 月 11 日清晨，MIT 教授、唯一游戏猜想领域权威 Dor Minzer 收到朋友短信，询问他是否即将解决理论计算机科学中最著名的开放问题之一。他起初以为是恶作剧，随后更多消息接连涌入，凸显 AI 在该猜想证明上逼近突破，研究人员正与机器竞速。
Source: Quanta Magazine · AI · quantamagazine.org