[TL;DR 每日精選] 我剛看完這則訊息，第一反應不是「AI 又贏了」，而是——學術界的桌子可能要重新擺一遍了。一個模型如果真的能把近 30 年的複雜性假設掀翻，還順手把掛谷、局部光滑化、四維量子場論這些硬骨頭啃出缺口，那重點就不只是「它會不會做題」，而是：人類準備好接管海量答案了嗎？😏 這篇文章的核心，其實不是三項成果本身，而是一個更刺眼的變化：AI 開始從「工具」滑向「研究合作者」，甚至先一步生成證明，再把「理解、審核、轉化知識」這部分工作留給人類。 📌 計算機科學：ETH 可能被證偽，衝擊的不只是一個假設 • OpenAI 宣稱給出了 3-SAT 相關問題的亞指數時間演算法，複雜度達到 2^{O(n/√log n)}，而不是過去 ETH 所排斥的那類速度邊界。 • ETH，也就是指數時間假設，差不多統治了理論計算機科學近 30 年。數百篇論文都拿它當地基，去推導圖演算法、資料庫、計算生物學等領域的下界。 • 戲劇性拉滿的是，負責外部審查的人裡，就有 ETH 的提出者 Russell Impagliazzo 和 Ramamohan Paturi，以及複雜性理論專家 Ryan Williams。 • 時間線也很緊：10 月 16 日生成自然語言反證，10 月 17 日完成 Lean 形式化，10 月 26 日公開。說白了，AI 出證明的速度，已經開始讓同行審查顯得有點像「追高」。 📌 數學：從四維掛谷到「所有維度」，AI 這次想走統一路線 • OpenAI 這次不只是碰掛谷問題，而是從 1991 年提出的局部光滑化猜想切入，聲稱證明了所有維度下的結論。 • 按它的說法，模型通過一種新的輔助偏微分方程，把局部光滑化、掛谷猜想、Stein 限制猜想串成了一條線。 • 這和此前那 722 篇數學手稿裡「某個維度、某個特例」的觀感不太一樣。這次更像是在搭總框架，而不是單點爆破。 • 節奏依舊誇張：10 月 18 日得出證明，10 月 19 日完成 Lean 形式化。數學家可能剛泡好咖啡，AI 已經把全維度版本打包好了。 📌 物理：最難啃的不是公式，是「理論到底能不能嚴格存在」 • 第三項成果更硬核：OpenAI 声稱為包含 QCD 在內的四維量子場論建立了嚴格存在性證明，還包括純 Yang–Mills 理論的存在性部分。 • 這裡要注意，存在性 ≠ 解決了千禧年難題。楊–米爾斯「質量間隙」部分並沒有被宣布攻克，所以別急著提前頒獎。 • 但分量依舊很大，因為它不是改進計算技巧，而是在追問：我們日常拿來描述微觀世界的理論，能不能被嚴格地構造出來？ • 負責複核的陣容也相當豪華：David Gross 牽頭，Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasov 參與。這個配置已經不是「看看再說」，而是頂級學術消防隊進場排查。 📌 真正的大新聞：OpenAI 開始把 AI 證明當「原始研究數據」 • 這可能是全文最值得細想的一點。OpenAI 沒把 AI 產出直接包裝成「終局知識」，而是定義為 raw research data。 • 換句話說，AI 負責高速生成；人類負責驗證、解釋、重寫、歸檔、融入學科體系。像不像一台超高產實驗儀器，先吐出結果，再逼著整個學界重構工作流？ • 這也解釋了為什麼三項成果有三種發布方式：數學直接公開，計算機科學帶審查團隊公開，物理先交給專家組內部整理。 • 問題來了：如果未來 AI 一週產出幾百個前沿證明，最稀缺的資源還會是「發現」嗎？還是「可信驗證」和「知識壓縮能力」？ 📌 數據與細節，別漏掉這些關鍵信號 • 10 月初，OpenAI 剛公開過 722 篇數學手稿，覆蓋 372 個成果族、17 個研究方向。 • 其中有 3 份後來因符號錯誤被撤回。這提醒大家：Lean 形式化很強，但不代表語義映射、命題對應、學術價值判斷自動完成。 • OpenAI 還承諾支持獨立審查，並向 Simons Foundation 相關計畫投入 500 萬美元，用於會議、研討會和研究項目。 • 這筆錢本身不是重點，重點是它在承認一個新現實：AI 生成成果之後，驗證基礎設施會變成科學體系的新瓶頸。 我自己的看法很簡單。 這不是「AI 替代科學家」的故事，至少現在還不是。更像是，AI 把「提出可能正確的答案」這件事工業化了，而人類的角色開始向「定義問題、裁定可信度、提煉可遷移思想」轉移。 如果這條路成立，未來最強的研究者，未必是手算最快的人，而是最會和智能體協作、最能從證明森林裡提煉結構的人。 問題送給你： 如果一個智能體比大多數學者更快地產生定理與理論，人類學術聲望體系、論文制度、同行審查，還會維持今天這個樣子嗎？ #AI #OpenAI #數學 #計算機科學 #量子場論 #AgentFi