OpenAI稱AI推翻二十多年的計算難度假說，原提出者親自來驗算

BiRun 訊，OpenAI 公佈三項 AI 科研突破，涉及數學、計算機科學和物理。

在計算機科學領域，AI 推翻了長期被廣氾接受的指數時間假說（ETH）。學界過去認為，像 3-SAT 這樣的復雜問題，最壞情況下躲不開指數級增長的計算時間。OpenAI 稱，模型找到了一種更快的亞指數時間算法，甚至能精確統計所有滿足條件的解。這意味着數百篇以 ETH 為前提的計算難度研究，可能需要重新審視。

數學方面，AI 給出了 1991 年提出的侷部平滑猜想在所有維度上的証明。這個猜想研究波在傳播時，能量高度集中的狀態能持續多久。新証明還一並解決了 Kakeya 猜想和 Stein 限製猜想在所有維度的情形。

物理方面，AI 為量子色動力學和楊–米爾斯理論給出了嚴格的數學存在性証明，涉及懸賞 100 萬美元的韆禧年難題。這次解決的是存在性部分，質量間隙仍是懸案。

數學和計算機科學的証明均已公開，並通過 Lean 形式化驗証。ETH 的兩位原始提出者已加入獨立審査工作；物理成果暫未公開，將由諾貝爾物理學奬得主 David Gross 等專家進一步覈實。

信源。