OpenAI宣佈取得三項重大科學突破 指數時間假說被證僞

金色財經報道，10月27日，OpenAI 宣佈，其 AI 模型在數學、計算機科學和物理學領域取得三項重大突破。在數學領域，AI 證明了適用於所有維度的局部光滑猜想，並由此解決局部光滑猜想與掛谷猜想。在計算機科學領域，AI 推翻了長期被廣泛接受的指數時間假設，意味着未來可能找到速度更快的算法。在物理學領域，AI 提出量子色動力學及楊–米爾斯理論的嚴格數學存在性證明，涉及世界七大千禧年數學難題之一。OpenAI 表示，數學和計算機科學成果已通過 Lean 數學驗證工具進行形式化驗證，並公開證明材料；物理學成果正由諾貝爾物理學獎得主等專家參與審查。 計算機科學方面的發現涉及指數時間假設（ETH），ETH 是計算複雜性理論中一個存在已久的猜想，研究布爾公式可滿足性問題的計算難度，與著名的 P 和 NP 問題密切相關。長期以來，學術界普遍認爲 ETH 成立。 OpenAI 於 10 月 16 日生成了推翻 ETH 的自然語言證明，10 月 17 日又完成了 Lean 形式化證明。隨後，OpenAI 開始着手建立前述外部合作機制。