OpenAI 宣布藉由其 AI 模型取得三項重大科學成果。這些成果涉及數學、資訊科學與物理學。
在數學領域,該模型證明了每個空間維度不小於二的局部平滑猜想(local smoothing conjecture)。此結果亦涵蓋 Kakeya 猜想以及完整範圍內的 Stein 限制估計。
該公司遵循專家的建議,直接在 GitHub 上發布了模型的輸出結果。此前,該猜想僅在三維情形下獲得證明。
在資訊科學領域,該 AI 否證了指數時間假設(Exponential Time Hypothesis)。文中提出了一種確定性演算法,能在次指數時間內精確計算固定寬度 CNF 公式的滿足賦值。
結果的驗證將由 Russell Impagliazzo、Ramamohan Paturi 與 Ryan Williams 領導的獨立團隊主持。相關材料已立即公開。
在物理學領域,已獲得數學上嚴格的證明,證實了四維空間中存在某些帶有規範場與費米子的相互作用量子場論。其例子包括量子色動力學以及標準模型的統一完備化。
物理學家團隊將由 David Gross 領導,成員還包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 與 Nikita Nekrasov。他們決定推遲完整發布,以便準備自己的詮釋。
OpenAI 邀請外部科學家擔任「牧者」(shepherds),負責處理這些成果。該公司指出,不同的發布方式各有其取捨,包括取用權與資訊不對稱等問題。
羅徹斯特大學數學教授 Alex Iosevich 稱局部平滑猜想的證明是歷史性的進展。他對 AI 在科學中的潛力表達了欣喜與樂觀,儘管他也指出理論界人士的感受不一。
當 AI 開始提出越來越多這類成果時,科學發現的過程將如何改變?



