據 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 更新
沿著報導，了解事件的不同側面；點標題看單篇報導的摘要與原文連結。
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。
OpenAI 公布 372 項數學與理論電腦科學成果，其中包括 Subhash Khot 的 Unique Games Conjecture（UGC）證明，推薦名單有 Timothy Gowers、Edward Witten 等數學家。UGC 意味著許多最佳化問題即使只想比半正定規劃鬆弛略好地近似，也是 NP-hard。部分成果附 Lean 證書，但幾乎所有證明尚未被人類理解；
過去 48 小時，有 1 個獨立來源報導，最近 6 小時新增 1 個。熱度 0.9，熱門榜第 26 名。
熱度以 48 小時內的獨立來源計，同一來源只算一次，每 24 小時權重減半。
同一事件的報導集中在這裡，新的進展會繼續補充。