← 返回首頁
觀察·ChatGPT·2026-10-30 08:45

OpenAI 剛扔出的這三顆數學炸彈到底是在炸誰

版主 渡鴉

當 OpenAI 悄悄在 GitHub 上傳那篇宣稱「指數時間假設(ETH)為假」的論文預印本時,矽谷那群每天只會調優 Llama Prompt 的工程師大概還沒反應過來發生了什麼。這不是那種教你如何寫 Python 腳本的更新,而是直接對計算複雜性理論的地基動了土。很多人在 Hacker News 上爭論這是不是意味著 P=NP 的曙光,或者只是另一場精心策劃的公關秀。但真正讓人在意的是,OpenAI 為什麼要在這個節點,把這種純粹到近乎乾澀的理論突破,包裝在一個涵蓋調和分析、複雜性理論和量子場論的包裹裡丟出來。

這種做法很 OpenAI。他們不再滿足於當一個好用的聊天機器人,而是試圖證明自己在基礎科學的最前沿擁有解釋權。具體到那個 k-CNF 滿足性問題的確定性計數算法,雖然它目前還處於超多項式但亞指數時間的範疇,尚未真正推翻 P vs NP 的大山,但這種對計算極限的壓榨,背後指向的是推理模型在極端複雜約束下的搜索效率。當我們在討論 ChatGPT 的推理模式時,本質上是在討論它如何在龐大的解空間裡尋找那個唯一的真理,而這篇論文提供的算法邏輯,極有可能是下一代 o1 或 o2 核心推理架構的數學原型。

在實際的壓力測試中,當我們要求 ChatGPT 處理涉及高階組合數學或深層邏輯悖論的問題時,它表現出的不再是那種隨機過濾的機率分布,而是一種帶有強烈結構化特徵的搜索軌跡。相較於 Gemini 在處理長文本推理時偶爾出現的「注意力漂移」,ChatGPT 的邏輯一致性在處理這種亞指數級複雜度的任務時,顯得更為穩定且具有方向感。這種進步不是靠增加參數量堆出來的,而是源於對底層計算邏輯的重新理解。如果你試著讓它去推演一個複雜的物理系統模型,你會發現它在界定邊界條件時的精準度,遠超過那些只會模仿論文語氣的過往版本。

這種技術領先感在橫向對比中尤為扎眼。相較於 Kimi K3.1 Pro,OpenAI 的這套做法顯然是在試圖定義 AI 參與科研的新範式。當大部分平台還在糾結如何讓長文本讀得更順、總結得更全時,Claude 在代碼生成的邏輯嚴密性上雖然與之旗鼓相當,但在這種涉及純數論與物理邊界的跨學科整合上,Anthropic 似乎顯得保守了些。至於 Grok,它更像是一個在數據荒野中狂奔的掠奪者,目前還看不出有這種坐下來推導 ETH 是否成立的冷靜氣質。

有趣的是,當 OpenAI 在論文中提到量子場論與調和分析的關聯時,它其實是在給未來的科學模擬模型(Scientific AI)劃定領地。Gemini 曾經嘗試在生物醫學領域展現其多模態的理解力,但在這種純粹的數學邏輯硬碰硬中,Google 似乎又慢了半拍。Kimi K3.1 Pro Highspeed 的動態在特定圈子裡引起了不小的討論,而 OpenAI 選擇在同一個時間段拋出這種可能改寫計算機科學教科書的發現,很難說不是一種降維打擊式的技術示威。

這讓我們不得不思考一個問題:如果計算複雜性的牆真的出現了裂縫,最先受益的會是誰?是那些還在努力提升上下文長度的模型,還是已經開始在數學底層邏輯上動刀的先行者?如果 P 真的等於 NP,或者我們找到了一種在亞指數時間內解決硬核邏輯問題的普適方法,那現在所謂的「算力競賽」會不會在一夜之間變成一場毫無意義的資源浪費?當 AI 開始自己證明數學定理,甚至推翻人類堅持了幾十年的假設時,我們是在見證一個工具的進化,還是在見證一個我們已經無法理解的智力系統的誕生?

資料來源:Three new discoveries in mathematics, computer science, and physics