OpenAI 稱內部 AI 模型已反駁指數時間假説

OpenAI 週一表示，數以百計的計算機科學論文都建基於一項猜想，而該公司的一個內部模型如今聲稱已推翻這項猜想。OpenAI 同日公佈另外兩項研究結果，分別涉及數學和物理學。

OpenAI 在一篇網誌文章中表示，指數時間假説（ETH）一直「廣受認為是正確的」。這項猜想關乎解決布林可滿足性問題有多困難，而這個問題與 P 對 NP 問題密切相關。研究人員一直利用 ETH 證明，圖論、計算生物學、資料庫和其他領域的問題難以快速解決。

OpenAI 表示，其模型在 10 月 16 日找到反證。翌日，該公司使用 Lean 驗證了這項反證；Lean 是一種可透過機器驗證證明的語言。該公司已在 GitHub 公開模型撰寫的説明和 Lean 證明。

提出 ETH 的科學家將審查這項研究

由加州大學聖地牙哥分校的 Russell Impagliazzo 和 Ramamohan Paturi，以及麻省理工學院的 Ryan Williams 領導的小組，將審查並解釋這項結果。Impagliazzo 和 Paturi 最初與 Francis Zane 一同提出 ETH。

OpenAI 的一個內部模型提出聲稱推翻 ETH 的結果！Russell Impagliazzo、Mohan Paturi 和我受邀協助安排對這項主張進行公開、獨立的審查。1/4

Ryan Williams @rrwilliams.bsky.social (@rrwilliams) 2026年10月26日

在一封寫給所屬領域的公開信中，三位研究人員表示，他們參與審查並不代表認同這項主張。

Impagliazzo、Paturi 和 Williams 寫道：「我們的參與不應被視為對這項主張的認證。如此重要的結果需要經過審慎、獨立的檢視。」

Williams 在 X 表示，小組成員沒有簽署保密協議，也不會收取報酬。小組要求 OpenAI 公開有關 ETH 結果的所有原始數據，並資助一場供研究社羣參與的會議。Williams 和 OpenAI 表示，OpenAI 已同意兩項要求。

一項數學證明和一項物理學證明

在數學方面，OpenAI 表示，其模型證明瞭 Christopher Sogge 於 1991 年提出的局部平滑猜想，適用於所有維度。這也將解決所有維度下的 Kakeya 猜想和 Stein 限制猜想。數學家已於 2019 年證明二維情況下的局部平滑猜想，並於 2025 年證明三維情況下的 Kakeya 猜想。與 10 月 6 日公佈的722 篇數學論文一樣，OpenAI 公開了模型撰寫的説明和 Lean 證明。

在物理學方面，OpenAI 表示，其模型為某些四維量子場論的存在提供了嚴謹證明。這些理論包括量子色動力學，用以描述夸克和膠子之間的強作用力。研究亦包括純 Yang-Mills 理論存在的證明；這涉及克雷數學研究所千禧年大獎難題之一。OpenAI 於 9 月表示，不會以其Navier-Stokes 證明申領該獎項。

諾貝爾獎得主 David Gross 將領導物理學小組，成員包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov。該小組決定暫不公開 AI 產生的材料，並會自行撰寫研究成果。

誰會獲得肯定

OpenAI 表示，該公司不會爭取這些發現的學術功勞，並認為各小組的研究人員應因撰寫的解説而獲得肯定。該公司亦已向 Simons Foundation 捐出 $5m，用於舉辦關於 AI 產生研究結果的工作坊和會議。

三位電腦科學家在信中詢問，當 AI 率先找出結果時，應如何計算功勞。他們警告，認可可能會落在最先發表的人，或擁有最強大工具的人身上，而核查和解釋研究成果所得的認可則較少。數學家在 6 月發表的萊頓宣言中也提出了類似的憂慮。

三位研究人員寫道：「如果這項主張正確，將會改變理論電腦科學的一個重要部分。」