OpenAI 的 AI 證明了 Unique Games Conjecture，Lex Fridman 頻道請電腦科學家來解讀

理論電腦科學裡一個卡了數十年的猜想，接下來會進入「大家慢慢消化證明」的階段。Lex Fridman 頻道這支影片討論的，是 OpenAI 發布的一份 AI 證明：確認唯一遊戲猜想（Unique Games Conjecture）為真。 先講這個猜想是什麼。它是 PCP 定理的強化版，在理論電腦科學裡是個長期存在、也一直有爭議的大問題。如果它成立，大量約束滿足問題的最佳近似演算法，以及這些問題在計算複雜度上的極限，就都有了定論。 用排班表來比喻。很多排班問題根本不可能算出完美解，真正的問題是：在可接受的時間內，你最多能逼近完美到什麼程度，再往上是不是數學上就做不到了。這個猜想成立，就等於幫一大類問題劃出了那條線。 影片摘要裡最有意思的是業界的反應。證明文件目前很難讀，所以接下來的工作是人類研究者去讀懂、檢查、消化它。它不是一個結案，比較像是開了一個新階段：數十年的人類研究，加上 AI 輔助證明，合在一起才走到這一步。 另一個細節是數學家的情緒。有人覺得如釋重負，也有人在自己追了一輩子的問題被別人先解掉時，感到錯愕和失落。同一份證明，在不同人身上是兩種完全不同的感受。 從技術趨勢看，AI 在數學上的角色正在改變。以前大家討論 AI 能不能解題，現在的重點變成：人類能不能讀懂 AI 給的答案。證明寫出來了，卻沒人能快速驗證，這個瓶頸會從「找答案」搬到「看懂答案」。 這支影片的資訊來自頻道摘要，證明本身的技術細節，我沒辦法在這裡替你展開，要等理論圈把文件讀完才會有更完整的評估。 下一波值得盯的，大概是第一批把這份證明拆解成人類看得懂版本的研究者。