OpenAI 單日發布 372 項數學成果，含 UGC 證明新

先了解這件事AI 綜述

據 Hacker News 首頁轉載的一篇題為 The Mathocalypse 的博文，OpenAI 於 10 月 6 日一次性發布 372 項數學與理論電腦科學成果，其中包含對 Subhash Khot 的 Unique Games Conjecture（UGC）的證明。這批成果是在 Timothy Gowers、Edward Witten 等知名數學家組成的顧問組推薦下公布的。UGC 一旦成立，意味著大量最佳化問題即便只要求比半正定規劃鬆弛略好的近似，也是 NP-hard。部分成果附有 Lean 證書，但並非全部；博文指出，目前幾乎還沒有人類真正讀懂其中任何一項證明，理解這些證明的競賽才剛剛開始。博文作者之妻、長期研究 UGC 的複雜度理論家 Dana Moshkovitz 表示，論文寫得極差，必須藉助 AI 才能閱讀，其證明構造出一種全新的遞迴編碼與噪聲測試，讀起來像出自服用致幻劑者之手，大量內容不清楚。兩篇轉載內容一致，均出自同一篇博文。對數學與理論電腦科學研究者來說，接下來的工作是複核並理解這些尚未被人類消化的證明，而附帶 Lean 證書的結果相對更容易被形式化驗證。

AI 根據 2 則報導生成 · 10/7 22:40 更新

本事件熱度走勢

為什麼熱

過去 48 小時，有 1 個獨立來源報導，最近 6 小時新增 1 個。熱度 0.9，熱門榜第 26 名。

熱度以 48 小時內的獨立來源計，同一來源只算一次，每 24 小時權重減半。

事件紀錄

最早報導

10/7 20:33

最近更新

10/7 20:42

同一事件的報導集中在這裡，新的進展會繼續補充。