广告合作
人工智能

開放人工智能宣佈三項AI研究成果,覆蓋數學、電腦科學與物理學

開放人工智能公開三項由AI生成的數學、電腦科學與物理學成果,其中電腦科學論文宣稱指數時間假設不成立,並已將證明上傳至GitHub。

開放人工智能(OpenAI)於2026年10月26日宣佈三項由人工智能生成的發現,分別涉及數學、電腦科學與物理學。據 theverge.com 報道,該公司同時公開了相關結果,並邀請外部專家擔任「shepherd」角色,負責審查和解釋部分工作。

在電腦科學方面,開放人工智能將論文與Lean證明發布於GitHub。該論文聲稱指數時間假設(ETH)不成立,並提出一個確定性演算法,能在次指數時間與多項式空間內計算固定寬度CNF公式的可滿足賦值數量。一個包括Russell Impagliazzo、Ramamohan Paturi與Ryan Williams的小組將審查並解釋這項證明。

物理學成果則是一個數學上嚴謹的存在性證明,針對四維空間中帶規範場與費米子的特定相互作用量子場論,其中包括量子色動力學(QCD)。David Gross將帶領一個包括Michael Douglas、Arthur Jaffe、Igor Klebanov與Nikita Nekrasov的小組,負責審查這項物理學工作。

數學方面,開放人工智能在顧問建議下直接發布了模型輸出。該輸出證明了所有維度中的局部平滑猜想,並解決了所有維度中的Kakeya猜想與Stein限制猜想。公司還發布了針對歐幾里得波動方程的證明,使用一個輔助偏微分方程來建立Sogge局部平滑性,適用於所有空間維度至少為2的情況。

開放人工智能同時發表一封公開信,就早期存取、署名方式以及對研究人員的支持等問題向社群徵詢意見。

背景

不到一個月前,開放人工智能曾大規模發布數百份手稿,聲稱其中包含長期數學問題的解答。而在2026年10月6日,該公司也曾直接發布模型輸出。指數時間假設最初於1999年由包括Russell Impagliazzo與Ramamohan Paturi在內的小組提出。

快速问答

開放人工智能宣佈了哪些領域的成果?

三項成果分別涉及數學、電腦科學與物理學,均為人工智能生成。

電腦科學證明的內容是什麼?

該論文宣稱指數時間假設不成立,並提出一個確定性演算法,在次指數時間與多項式空間內計算固定寬度CNF公式的可滿足賦值數量。

這些證明由誰審查?

電腦科學部分由包括Russell Impagliazzo、Ramamohan Paturi與Ryan Williams的小組審查;物理學部分由David Gross帶領的小組審查。

来源