Hacker News:AI 热帖· digital55·· 6 天前AI 评分75
OpenAI 逼近 Unique Games 证明,三位研究者抢在机器前发布里程碑结果
As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines
AI 导读
OpenAI 于 10 月 6 日宣布证明 unique games conjecture,并同时发布 376 项数学成果;MIT 的 Dor Minzer 与学生 Yumou Fei、Shuo Wang 因相关传闻在 9 月抢先发布 95 页论文,证明 Khot 的 2-to-1 games 猜想的 4-to-1 变体。
来源:Hacker News:AI 热帖 · quantamagazine.org