Hacker News · AI· digital55·· 3 小时前精选AI 评分73
OpenAI 逼近“独特博弈”猜想证明，MIT 学者竞速抢先发表理论成果
As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines
AI 导读
MIT 教授 Dor Minzer 团队在获悉 OpenAI 即将公布“独特博弈”猜想证明的传闻后，抢先于 9 月发布了关于 4-to-1 博弈猜想的 95 页完整数学证明草稿。
推荐理由
文章记录了理论学者在面对大模型自动化证明冲击时的竞速经历，展示了前沿 AI 对传统基础科学研究节奏和心理的直接影响。
来源：Hacker News · AI · quantamagazine.org