OpenAI 於 2026 年 10 月 26 日釋出研究公告,宣佈在數學、電腦科學和物理學領域取得三項新發現,分別涉及調和分析、複雜性理論和量子場論。這些成果由內部模型產生,OpenAI 將其視為“原始研究資料”,並嘗試透過與學術社群合作,將這些資料轉化為科學理解。
為了找到最佳釋出方式,OpenAI 諮詢了外部專家,並針對三項結果採取了三種不同的策略。對於數學結果,直接公開 AI 輸出,讓研究人員自行組織解釋工作;對於電腦科學結果,組建外部合作小組進行解釋,同時公開 AI 輸出供任何人審查和擴充套件;對於物理學結果,則組建外部合作小組,並尊重小組對材料釋出的決定。OpenAI 表示,尚不清楚哪種方法最有效,歡迎反饋。
所有外部合作均遵循四項原則:透明性,即公開合作的存在,參與者無需簽署保密協議,可自由討論和發表結論;不尋求學術 credit,即 OpenAI 不為其模型產生的發現尋求學術認可,邀請研究人員參與也不意味著他們做出了原始發現;認可,即合作小組應因其形成的理解、撰寫的報告和其他材料獲得認可,並確保適當引用相關研究人員、技術和思想;獨立性,即參與自願且無報酬,成員獨立參與,結論僅代表個人,不代表 OpenAI,OpenAI 也不代表他們。
數學結果涉及調和分析中的區域性光滑猜想。該猜想由 Sogge 於 1991 年提出,描述波在聚焦時的行為,斷言最極端的聚焦必須是短暫的。該猜想蘊含 Kakeya 猜想和 Stein 限制猜想。此前,Guth、Wang 和 Zhang 於 2019 年證明了二維空間中的區域性光滑猜想,Wang 和 Zahl 於 2025 年證明了三維 Kakeya 猜想。OpenAI 的模型給出了任意維度下區域性光滑猜想的證明,從而也解決了所有維度的 Kakeya 猜想和 Stein 限制猜想。新證明基於一種新穎的輔助偏微分方程。該 AI 輸出於 2026 年 10 月 18 日獲得,次日完成 Lean 形式化,隨後 OpenAI 聯絡專家討論合作。根據專家建議,決定公開 AI 輸出,與 2026 年 10 月 6 日的釋出策略一致。自然語言寫稿和 Lean 證明已在公共 GitHub 倉庫中釋出。
電腦科學結果涉及指數時間假設(ETH),這是一個關於布林公式可滿足性計算複雜性的長期猜想,與 P vs. NP 問題密切相關。ETH 一直被廣泛認為成立,並用於推導數百篇論文中的條件計算硬度結果。然而,OpenAI 的系統最近證明了 ETH 不成立,該結果隨後在 Lean 中驗證。ETH 的推翻重新引發了關於這些任務能加速多少的問題,並可能指導尋找更好的演算法。這項工作將由 Russell Impagliazzo(加州大學聖地亞哥分校)、Ramamohan Paturi(加州大學聖地亞哥分校)和 Ryan Williams(麻省理工學院)領導的小組進行驗證和指導。Impagliazzo 和 Paturi 與 Francis Zane 是 ETH 的最初提出者,而 Williams 曾反駁 ETH 的強版本並研究硬度結果。小組要求公開所有原始資料以便獨立驗證,並承諾資助一次會議探討這項工作對整個領域的影響。該 AI 自然語言反證於 2026 年 10 月 16 日發現,10 月 17 日完成 Lean 形式化,相關寫稿和 Lean 證明已釋出在 GitHub 上。
物理學結果給出了四維空間中包含規範場和費米子的某些相互作用量子場論的嚴格存在性證明,包括量子色動力學(QCD)和標準模型的統一完成。這項工作建立在 Balaban 的構造性量子場論方法之上,並作為子問題證明了純 Yang–Mills 理論的存在性,這是 Clay 數學研究所千禧年大獎難題之一。標準模型描述除引力外的三種基本力,但不能外推到任意短距離。該存在性證明涉及包含標準模型規範場和費米子的最簡單大統一理論。QCD 描述夸克和膠子透過強力的相互作用,而純 Yang–Mills 理論僅描述膠子的自相互作用。David Gross 將領導包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov 的小組指導這項工作。Gross 因 1973 年關於 Yang-Mills 理論漸近自由的工作分享 2004 年諾貝爾物理學獎,Jaffe 與 Witten 共同提出了 Yang-Mills 千禧年問題,Douglas 已跟蹤該問題 20 年,Klebanov 在規範-弦對偶應用於禁閉方面有開創性工作,Nekrasov 在精確方法方面有突破性貢獻。小組要求所有通訊傳送至 [email protected]。模型於 2026 年 9 月 9 日生成 Yang–Mills 存在性的自然語言證明,9 月 18 日生成 QCD 證明,由於工作複雜,推遲到 10 月 16 日完成 Lean 形式化後才釋出。
OpenAI 表示,這些合作補充了最近宣佈的向 Simons 基金會捐贈 500 萬美元的承諾,該資金將用於支援研討會、會議和特別專案,幫助研究人員理解和基於 AI 成果開展工作。OpenAI 致力於確保資金用於獨立審查、解釋和擴充套件上述結果。