2026 年 10 月 26 日，OpenAI 一次丟出三個「機器發現」：模型證明了 Sogge 1991 年的局部平滑猜想於所有空間維度，順手終結 Kakeya 猜想與 Stein 約束猜想；反駁了被理論電腦科學信任三十年的指數時間假設（ETH）；並給出四維量子色動力學（QCD）的嚴格存在性證明——觸及楊–米爾斯千禧年難題的一部分。數小時後，Anthropic 發表自家的 ETH 反駁。比結果更前所未見的是發佈方式：猜想的原提出者親自率團，查證推翻自己猜想的 AI 證明。

一、背景：從「解奧賽題」到「產出知識」只走了一年多

2025 年夏天，DeepMind 與 OpenAI 的模型相繼在國際數學奧林匹克（IMO）拿下金牌水準，業界當時的共識是：那只是在人類出好的題目上刷分。曲線在 2026 年秋天陡升——OpenAI 先是宣佈內部模型解決了一批尚未解決的 Erdős 問題，10 月 6 日釋出 722 篇機器完成的數學論文，並捐資 500 萬美元給 Simons 基金會支撐查證。10 月 26 日的第三彈分量最重：三個結果全落在各自領域的「中央猜想」層級，且每一項都附 Lean 形式化證明。

二、這次發生什麼：三種發佈策略，與一場自願的「不領功」

官方把機器產出定義為「原始研究資料」——資料不等於理解。因此每個結果都先徵詢外部專家，由對方各自決定三種發佈策略：數學直接公開模型證明與 Lean 檔，社群自行解讀；電腦科學公開原始產出並組成外部小組解釋，OpenAI 出資研討會供全領域盤點衝擊；物理則暫不公開，交給專家小組自己寫成論文。協作四原則：透明（不簽保密協議）、不取學術功勞、聲譽屬於解讀者、參與義務且獨立。一家公司主動放棄優先權與署名權，本身就是對「機器發現該記在誰名下」的第一個公開答案。

六週內的九個節點：三個定理如何從模型輸出變成公開結果 9/9楊–米爾斯存在性自然語言證明 9/18QCD 存在性證明 10/16ETH 反駁被發現OpenAI 與 Anthropic 同日 10/16楊–米爾斯 Lean 完成 10/17ETH 證明 Lean 驗證 10/18局部平滑證明產出 10/19局部平滑 Lean 完成 10/26OpenAI 三合一發布 10/27 03:07 UTCAnthropic 論文上線 深綠＝ETH 相關節點；日期均依雙方官方公告與論文出處頁（Hexagon、GitHub）。
圖一：共同時間線。Anthropic 宣稱自家模型與 OpenAI 在同一天（10/16）獨立找到 ETH 反駁。

三、三個結果白話拆解

數學：局部平滑——「最壞的聚焦撐不過一個瞬間」，所有維度一次結束

波在傳播中會聚焦。Sogge 在 1991 年猜測：極端聚焦只能短暫存在——把時間平均後，「典型」聚焦程度永遠遠小於最壞時刻，而且任何維度都成立。它是調分析的中央樞紐：一旦為真，Kakeya 猜想（一根針在空間掉頭最少要掃過多大區域）與 Stein 約束猜想會被一起推出來。人類進度：2019 年 Guth–Wang–Zhang 證出二維，2025 年 Wang–Zahl 拿下三維 Kakeya 特例；模型這次交出的是一份宣稱所有維度的證明，關鍵是一條沒人用過的輔助偏微分方程。Sogge 的博士生、Rochester 教授 Iosevich 對 Al Jazeera 說：「這猜想是我的博士導師提出的，我先是震驚」，隨後稱之為歷史性發展。

電腦科學：ETH 死了——「指數是速度下限」這個信仰被拆掉

ETH 由 Impagliazzo、Paturi、Zane 於 1999 年提出，粗略說是：3-SAT（判斷邏輯式可否滿足）不只沒有多項式演算法，連次指數時間都不可能。因為它比 P≠NP 更好用，三十年來數百篇論文拿它當假設，推導出圖論、生資、資料庫的各種「這題必須指數時間」。AI 的輸出反其道而行：ETH 為假——存在 2 的 o(n) 次方（次指數）時間的決定性演算法。查證小組堪稱傳奇：兩位原始提出者本人，加上多次反駁 ETH 強化版本的 MIT 學者 Ryan Williams——由提出者查證「自己被推翻」，是學術史難得一見的對位法。

物理：四維 QCD 的嚴格存在性——千禧年難題的「半個」

物理學家每天用 QCD 算誇克與膠子，但這套寫在四維時空上的理論從未被嚴格構建出來——那正是楊–米爾斯與質量間隙千禧年難題第一半的任務（Clay 問題原文）。AI 沿著 Balaban 耕耘四十年的建構式量子場論路線，證明純楊–米爾斯理論在四維存在，進而證明含費米子的 QCD、乃至標準模型一個最簡大統一擴充的存在性。諾獎得主 Gross 領銜的小組（含構想千禧難題的 Jaffe）選擇先不公開 AI 材料、由人類寫成論文；另一半「質量間隙」並不在宣稱裡。

被推倒的三張多米諾：每個結果「連帶」拖動了什麼 調和分析 局部平滑（所有維度） 新增：輔助偏微分方程 ↓ 推出 ↓ Kakeya 猜想（所有維度） Stein 約束猜想（所有維度） 複雜度理論 ETH 為假 存在 2 的 o(n) 次方演算法 ↓ 動搖 ↓ 數百篇條件難度論文 圖論・生資・資料庫・幾何 數學物理 四維楊–米爾斯／QCD 存在 沿 Balaban 建構式路線 ↓ 屬於 ↓ 千禧年難題：存在性部分 質量間隙：尚未處理
圖二：三個結果的邏輯輻射。右欄虛線框：千禧難題只解了存在性這一半。

四、同一天撞車：獨立發現，還是同一條礦坑？

公告後數小時內情勢急轉。Anthropic 數學家 Levent Alpöge 在社群質疑 OpenAI 的證明站在既有工作之上；接著 10 月 27 日 03:07 UTC，Anthropic 把 49 頁論文與 Lean 4 形式化 proof 掛上 GitHub：〈A 2^o(n) Time Algorithm for 3-SAT〉，署名「Claude (Anthropic)」，還宣稱解了更強的 #3-SAT（直接數出解的個數）。註記更搶眼：核心演算法「由內部 Claude 模型於 10 月 16 日發現，1,400 萬輸出 token，無人為輸入」——與 OpenAI 宣稱的發現日是同一天。TechCrunch 的提問很準確：這是兩份獨立作品，還是共享了某條人沒走過的捷徑？社群已自組獨立查證；若兩者最終皆真，「AI 發現」就不會再是孤例，而是像人類一樣出現平行發現。

五、影響與觀察：機器驗證之後，人類剩什麼？

  1. 「已驗證」不等於「已理解」。Lean 逐步檢查推論，機器點頭後不必再糾結真假；但輔助 PDE 怎麼被想出來的、論文能否泛化到 SAT 之外，仍要人類研讀——「原始研究資料」說的就是這個意思。
  2. ETH 死了，不代表 SAT 明天變簡單。次指數是漸近陳述，真正被改寫的是地圖：數百篇以 ETH 為地基的難度結果要逐篇重估，有些問題可能突然「變得可解」。主流加密假設多數不直接建在 ETH 上，短期衝擊集中在理論層。
  3. 牧羊人制是一場公開的同行評審實驗。由提案者查證推翻自己的猜想、公司不領功、發佈節奏交給領域——這是「機器產出如何進入學術體系」的第一個結構化答案，可能成為範本，也可能輸在資訊不對稱（先受邀的專家掌握第一手）。
  4. 觀察清單：Gross 小組何時交出物理論文、ETH 研討會的共識、兩家證明的同構性檢查、以及年內會不會出現「模型直取千禧年問題全題」的新標題。

六、結論

過去兩百年，「提出猜想—證偽猜想—重寫教科書」是天才敘事的最後淨灘；這個十月，它開始變成前沿實驗室的版本更新日誌。但別急著寫「數學家失業」：證明之為真已被機器鎖死，為何如此、還能去哪裡，依然只有人類在乎。被重新分工的不是誰更聰明，而是「發現」與「理解」——機器承包前者的夜班，後者的白班目前還輪不到它。

延伸閱讀（本站）：不買量子位元、買編譯器：Intel 22 億美元收購 Classiq · Kimi K3.1 Pro 2.8 萬億參數開放權重 · 前沿科技全部文章

資料來源