OpenAI 一次性发布 372 项数学结果,AI 证明 Unique Games 猜想

LukeW · x · 2026-10-08

Scott Aaronson 在博客中记述了数学界的「Mathocalypse」时刻:OpenAI 一次发布 372 项重大数学结果,其中包括复杂度理论家 Subhash Khot 提出的 Unique Games Conjecture(UGC)的证明。该猜想意味着大量优化问题即使只求近似解也是 NP-hard。这些证明由 Timothy Gowers、Edward Witten 等著名数学家组成的顾问组推荐发布,部分附带 Lean 形式化证书——但目前几乎没有任何人类读懂了这些证明,「读懂竞赛」刚刚开始。Aaronson 的妻子、复杂度理论家 Dana Moshkovitz 一辈子都在朝证明 UGC 方向努力,她形容论文「像迷幻药服用者写的」,混乱难读、大量引用前人工作却不解释为何能绕过不可能性结果,甚至「没有 AI 帮助根本读不下去」。