那些天天守著 Hacker News 盯著 P=NP 聖杯的人，這兩天大概都被 OpenAI 官網那篇輕描淡寫的論文標題給震清醒了。指數時間假設（ETH）被證偽，這件事在計算複雜度理論圈子裡不亞於在物理界宣布重力常數其實是變量。很多人在討論區裡吵得不可開交，試圖弄清楚這是不是通往 AGI 的最後一塊拼圖，或者只是 Sam Altman 又一次精妙的公關秀。這種把純數學發現與 AI 訓練成果綁在一起發布的做法，本身就很耐人尋味。
這不是那種靠暴力破解堆出來的成果。OpenAI 給出的是一個針對 k-CNF 公式滿足賦值計數的確定性算法，運行時間雖然還是超多項式，但已經成功壓到了子指數級別。如果你對這些術語感到頭痛，換個說法：他們在尋找問題最優解的迷宮裡，發現了一條原本被認為不存在的捷徑。這種進步對於 ChatGPT 背後的推理架構（尤其是在傳聞中的 o1 系列）至關重要。過去我們認為某些複雜邏輯鏈條的搜索空間是爆炸式的，現在看來，OpenAI 似乎找到了一種過濾噪音、直接鎖定有效路徑的方法。這種從數學底層去推翻既定認知的做法，遠比單純在模型參數上加幾個零要來得更有侵略性。
在處理這類極端複雜的邏輯推演時，四大平台的差異就顯現得很露骨。Claude 在處理長文本邏輯一致性上確實有一套，但在這種涉及純粹數學結構突破的思維深度上，它顯得過於「文科生」了，更傾向於用已知的模式去擬合答案。Gemini 雖然背靠 Google 龐大的計算資源，在處理多模態數據的關聯性上表現優異，但面對這種需要推翻底層假設的任務，它的反應總是慢半拍，像是個守規矩的優等生，不敢隨意跨越理論的邊界。與之對照，ChatGPT 這次展示的是一種近乎偏執的探索欲，它不滿足於只是「預測下一個詞」，而是試圖在符號運算的邏輯深處建立一套新的秩序。
這種技術演進的節奏，讓某些特定市場的競爭顯得有些尷尬。當大家還在為了 Kimi K3.1 Pro Highspeed 的上下文長度或者響應速度歡呼時，OpenAI 已經把戰場搬到了計算理論的最前線。相較於 Kimi K3.1 Pro Highspeed 在工程優化上的勤奮，OpenAI 在這裡展現的是一種範式上的霸權。我們在討論的是如何讓 AI 更有智慧，而他們在討論的是如何重新定義智慧能處理的難度極限。這不是功能更新，這是降維打擊。
更有趣的是 Grok 的立場。Elon Musk 一直在強調真相與物理規律，但 Grok 目前的表現更像是個憤世嫉俗的觀察者，它在即時數據的抓取和諷刺語氣上拿捏得很好，但在這種硬核的數學突破面前，它還沒能拿出足以支撐其野心的理論基礎。大家都在看，當 OpenAI 真的利用這些數學發現優化了模型內部的搜索效率後，其他玩家要如何跟進？是繼續在工程實現上捲，還是也得被迫去養一群數學家來對抗這種底層的突破？
現在的問題是，如果指數時間假設真的被動搖了，那麼我們過去認為「不可攻破」的加密體系，或者是那些被視為「算力黑洞」的優化問題，會不會在短時間內迎來崩塌？OpenAI 選擇在這個時間點公布數學上的重大突破，到底是為了證明其模型推理能力的來源，還是想告訴世界，他們手裡握著的已經不再是一台聊天機器，而是一個正在改寫科學規則的黑盒？當我們還在爭論 P 是否等於 NP 的時候，AI 是不是已經用我們看不懂的方式，直接跳過了證明過程，拿到了最終的密鑰？