OpenAI最大聲明獲謹慎歡迎，涉及Erdős、Navier-Stokes及符號錯誤
OpenAI 任命了科學家來驗證其最新主張——即其內部模型已成功推翻指數時間假設——但這些科學家拒絕背書該主張，並指出該 AI 實驗室此前的數學公告往往存在誇大其詞的情況。
由 Altman 領導的實驗室聲稱已經破解的指數時間假設， 是對布爾可滿足性問題求解難度的衡量，, 這一問題與 P versus NP 問題相關，且是支撐數百篇計算機科學論文的猜想。
麻省理工學院的 Ryan Williams 以及加州大學聖地亞哥分校的 Russell Impagliazzo 和 Ramamohan Paturi 將領導一個小組，獨立驗證最初由 Impagliazzo、Paturi 和 Francis Zane 提出的關於該假設的結果。
數學界尚未接受OpenAI的ETH聲明
領導審查該聲明的三個研究人員 在一封公開信中寫道 他們的“參與不應被視爲對該聲明的認可”，並補充說，“如此重要的結果需要仔細、獨立的審查。”
在X平臺上發文稱， 目前實施和最近宣佈的關稅預計將在未來幾個月推高通脹，並解釋了美聯儲謹慎行事的原因。 該小組未簽署保密協議（NDA），也不會因“開放和獨立的審查”工作獲得報酬，這項工作是在“OpenAI內部模型聲稱推翻了ETH”後要求他和同事完成的。
Williams還補充道， OpenAI同意 發佈該結果背後的所有原始數據的要求。該AI實驗室還同意資助一場關於其影響的會議。
爲何數學界在沒有證據的情況下不支持OpenAI的聲明
之前的OpenAI 在數學領域的聲明 進展並不順利。一個獨立的研究團隊正在對OpenAI的主張進行獨立審查，儘管該實驗室在10月16日通過Lean驗證了內部模型發現的反駁結果，但次日便發佈了相關說明和Lean證明。這些內容已發佈至GitHub。
Lean是一種用於機器檢查數學證明的語言。然而，即使這種方法也被 劍橋大學的Anders Hansen及其合著者所駁斥，他們 在一篇論文中 指出，經過Lean驗證的形式化證明可能在編譯時成功，卻無法與其旨在表示的自然語言證明相匹配。他們將此命名爲 OpenAI的納維-斯托克斯方程 研究作爲案例研究。
維護埃爾德什問題網站的數學家Thomas Bloom對OpenAI副總裁Kevin Weil於2025年10月提出的GPT-5解決了10個此前未解決的埃爾德什問題的說法予以回應，稱其爲“嚴重的歪曲事實”。
Bloom解釋說，該模型只是呈現了他個人此前不知曉的現有論文，而非找到了保羅·埃爾德什提出的著名猜想的新解。
這一事件引發了Meta的Yann LeCun和Google DeepMind的Demis Hassabis的公開嘲諷。
10月6日，OpenAI在大規模發佈722篇涉及372個數學問題的預印本後一天內進行了三次撤回，原因是符號錯誤導致一個論點及兩篇相關論文失效。該AI實驗室還修訂了另外14篇論文。康奈爾大學數學家Alex Townsend預計，隨着時間的推移，還會有更多錯誤被披露。
然後是 納維-斯托克斯方程風波 9月時，數學家Tristan Buckmaster指控OpenAI使用了一種他本人及其同事當時正在研究的方法，而OpenAI此前曾宣稱其模型已解決了納維-斯托克斯方程問題。
OpenAI否認了這一說法。
兩項新成果與三種發佈策略
ETH是OpenAI在同一公告中提出的三項主張之一。
OpenAI表示，其數學模型證明了由Christopher Sogge於1991年提出的局部平滑猜想，且該證明適用於所有維度，這也將同時解決Kakeya猜想和Stein限制猜想。實驗室發佈了相關論文及Lean形式化證明。
物理學表明，這些模型證明了某些量子場論在四維空間中是存在的，其中包括克萊數學研究所千禧年大獎難題的一部分。由諾貝爾獎得主大衛·格羅斯領導的一個小組決定暫時不公開AI相關材料，而是先整理研究成果本身。
OpenAI表示，他們並未尋求學術署名，並已向西蒙斯基金會捐贈500萬美元，用於舉辦關於AI生成結果的研討會。該公司承認其三種發佈方式各有利弊，並表示希望收集有關哪些方式更有效的反饋。
如果您正在閱讀這篇文章，說明您已經領先一步。請繼續通過我們的通訊保持關注。
