重點摘要
AI 用 168 分鐘填補了人類數學家 35 年沒能縮小的差距——但這究竟是突破還是輔助？
GPT-5.6 在 168 分鐘內同時找到 2ⁿ 下界與 2.31ⁿ 上界，幾乎追平人類最佳未發表結果，採用的曲線縮短流技巧橋接了微分幾何與凸優化兩個學科。
提示本身已包含方向線索，社群質疑 AI 是「真正發現」還是「在人類引導下執行」，LLM 自我報告解題過程的可信度也受到質疑。
若 AI 能系統性解決博士論文等級的數學問題，數學研究的訓練方式、「低垂果實」定義、以及人類研究員的角色都將面臨根本重塑。
前情提要
「自收縮曲線 (Self-contracted curves) 」是一個讓微分幾何與凸優化交叉的難題：在 n 維空間的單位歐幾里德球內，凸函數的梯度流路徑最長能有多長？這個問題的答案決定了最佳化演算法最壞情況下的行為邊界。
自 1991 年起，公開文獻中的上界停留在 n^O(n) （超指數級），而下界僅為 √n，兩者之間的巨大鴻溝長達 35 年從未被縮小。Microsoft Research 首席研究員 Sébastien Bubeck 以此題作為 AI 數學能力的基準測試，持續觀察了將近兩年。
章節一：30 年未解的凸優化問題是什麼
「自收縮曲線」問題的難度，在於它需要同時確立上界（路徑最長不超過多少）與下界（路徑至少可以有多長）。確立下界尤其困難，因為它要求證明者對所有可能的演算法做出限制，而非只找到一個具體的反例。
HN 討論串中的用戶 _alternator_ 指出，「證明下界通常比上界難得多，因為它需要約束所有可能的演算法。」這正是此問題長達 35 年未被解決的核心原因——下界證明需要來自完全不同領域的數學工具，而這些工具的連結在文獻中並不明顯。
名詞解釋
梯度流 (Gradient Flow)：在最佳化中，沿函數梯度方向連續移動的路徑，是理解最佳化演算法收斂行為的基本工具。
值得注意的是，Bubeck 與同事 Omer Angel、Tomas Merchan Rodriguez、Fedja Nazarov 在約八年前私下確立了「答案確實是維度的指數級」，得出下界 √2ⁿ 和上界 4ⁿ。後來兩位合作者進一步將結果改進至 2ⁿ 和 2.29ⁿ，但始終未發表。這意味著 GPT-5.6 是在與「人類已知但未公開」的最佳結果競爭。
章節二：GPT-5.6 如何找到解法
2026 年 7 月 10 日，GPT-5.6-pro 在 168 分鐘的思考時間內，同時找到 2ⁿ 下界與 2.31ⁿ 上界——幾乎追平人類最佳未發表結果 2.29ⁿ。這個成果的關鍵在於它採用了來自微分幾何的「曲線縮短流 (Curve Shortening Flow) 」技巧，將其橋接應用至凸優化的下界證明。
名詞解釋
曲線縮短流 (Curve Shortening Flow)：微分幾何中的一種演化方程，描述曲線如何沿法向量按曲率方向移動並最終收縮，傳統上用於幾何分析，而非最佳化理論。
168 分鐘的數字看似乾脆，但背後是 Bubeck 超過一年的準備工作——他先後以 GPT-5.4 與 GPT-5.5 嘗試，均未取得突破，直到 5.6 版本才成功。2025 年 8 月，GPT-5-pro 也曾在 17 分鐘內將另一個凸優化開放問題的上界從 1/L 改進至 1.5/L，且經人工驗證正確，顯示這並非偶然。
Bubeck 在 X 上的說明直接而謹慎：「主張：gpt-5-pro 能證明新的有趣數學。證明：我拿了一篇凸優化論文中的一個乾淨的開放問題交給它，它證明了比論文中更強的 bound，我驗證了，是對的。」
章節三：社群激辯——LLM 是真正的研究者還是暴力搜索
HN 與 Reddit r/math 上的討論迅速進入了 AI 研究能力的核心爭議。質疑一方的論點聚焦於「提示已包含方向線索」——Bubeck 的提示已引導了「曲線縮短流」這個方向，因此 GPT-5.6 的角色究竟是「發現者」還是「執行者」，仍有爭議。
白話比喻
這好比給學生一張地圖，上面已標出「往東走」，然後問他是否「自己發現了」前往目的地的路線。AI 能走到，不代表 AI「找到」了方向。
另一個爭議點是 LLM 的自我報告可信度。fidotron 在 HN 討論中指出，若問 LLM「你用了哪個方法」，它可能給出聽起來合理但未必準確的答案——模型是在「試圖給出正確答案」，而非還原實際的計算過程。
Reddit r/math 討論串中，數學社群的反應則更趨務實。前數學研究員 nicf 提出了更深遠的挑戰：「如果 LLM 能解決過去屬於『低垂果實』的博士論文題目，數學界可能需要根本性地重新思考博士訓練的方式。」這將問題從「AI 有多聰明」推向了「人類研究員的比較優勢究竟在哪裡」。
章節四：對數學與科學研究工作流的影響
這次事件的關鍵結構性特點，在於數學領域的可驗證性。HN 用戶 vatsachak 點出了本質差異：「一個證明就是一個證明——對或錯，沒有中間地帶。這讓數學和軟體工程截然不同；後者需要人類可讀性和長期維護的判斷，LLM 在那裡仍然掙扎。」
這意味著數學是目前 AI 能力「最乾淨」的測試場——輸出可機械驗證，沒有主觀解釋空間，人類可以確認 AI 的貢獻是否真實。相比之下，程式碼品質或寫作品質的判斷都更曖昧。
從研究工作流的角度看，Bubeck 建立的「以真實開放問題為基準」模式，可能成為一種新的 AI 能力評估框架，不依賴人工設計的基準測試集，而是直接以未解問題作為標尺。這對判斷 AI 在正式數學研究中的角色有長遠意義。
核心技術深挖
GPT-5.6 的數學突破不是隨機碰運氣，而是在特定工具、特定問題結構、特定提示策略下的精確命中。理解這個解法的技術核心，有助於判斷這是 AI 數學能力的廣泛突破，還是一次條件嚴格的特定成功。
機制 1：下界證明的跨域橋接
下界證明的核心挑戰是「你需要對所有可能的路徑設置限制，而非找到一條路徑」。GPT-5.6 採用的「曲線縮短流」，原本是微分幾何用來分析曲線演化的工具——描述曲線如何隨時間按曲率方向移動並最終收縮。
將這個工具橋接至凸優化下界的證明，需要識別兩個領域之間的結構相似性：自收縮曲線的行為和梯度流路徑的幾何性質之間存在類比。這正是傳統文獻未曾系統探索的連結，也是此次突破最具學術意義之處。
機制 2：可機械驗證的輸出性質
數學證明的二元性（對或錯）使得 AI 輸出的驗證極為直接。Bubeck 能夠在模型輸出後親自驗證正確性，而無需依賴同行評審或長期測試。這與程式碼或論文摘要的「輔助生成」截然不同——後者的品質需要複雜的人類判斷。
這個特性讓數學成為 AI 研究能力的「理想測試場」：貢獻可確認、錯誤可發現、進步可量化。GPT-5.6 的 2.31ⁿ 上界和 2ⁿ 下界均已通過人工驗證正確。
機制 3：提示工程的邊界問題
此次突破中，提示本身已包含「曲線縮短流」的方向線索。這引出了一個技術性問題：模型的貢獻究竟是「識別正確工具」還是「在已知工具下完成推導」？
兩者的難度差距極大。識別哪個不相關領域的工具能解決問題，本身就是頂尖數學家的核心工作。如果提示已完成「識別」這一步，模型的貢獻則更接近於有能力的「計算執行者」。這個邊界目前仍不清晰，也是社群爭論的核心所在。
白話比喻
這好比給廚師一份食譜和全部食材，然後問他是否「發明了這道菜」。把菜做出來且做得正確，是真正的能力；但發明食譜和備齊食材是另一回事。
工程視角
環境需求
此次突破使用的是 GPT-5.6-pro 的「長思考 (extended thinking) 」模式，168 分鐘等級的思考預算是關鍵條件。若要複製類似實驗，需要存取支援長時間推理的前沿模型 API，並確認是否開放此類長思考模式，一般開發者的 API 使用通常有 token 限制需要特別確認。
最小 PoC
# 以開放數學問題測試 AI 推理能力的最小框架
import anthropic
client = anthropic.Anthropic()
# 關鍵：提示需包含問題背景、已知邊界、以及可能有用的工具方向
problem_prompt = """
開放問題：[問題描述]
已知結果：上界為 X，下界為 Y
可能相關的工具：[領域 A 中的工具 Z 可能有類比]
請嘗試改進上界或下界，並提供完整的數學推導。
"""
# 使用支援 extended thinking 的模型
response = client.messages.create(
model="claude-opus-4-8",
max_tokens=16000,
thinking={
"type": "enabled",
"budget_tokens": 10000
},
messages=[{"role": "user", "content": problem_prompt}]
)
驗測規劃
數學 AI 實驗的驗測有天然優勢：結果是二元的。設計驗測時，關鍵是找到具備足夠數學背景的人工審查者，能夠逐步驗證模型輸出的推導鏈。建議先從已知答案的問題開始校準，再移往真正的開放問題。
常見陷阱
- 提示中無意識地引入了解法方向，導致無法區分「AI 發現」與「AI 執行」
- 模型自我報告解題過程可能不準確——不要依賴 AI 對自身推理的描述
- 將數學推理能力外推至其他領域（程式碼最佳化、工程設計）時需要謹慎，兩者的可驗證性差距極大
上線檢核清單
- 觀測：人工審查者逐步驗證推導鏈的每個步驟是否無誤
- 成本：長思考模式的 API 費用可能遠高於普通請求，需提前規劃預算上限
- 風險：「聽起來合理但錯誤」的推導在缺乏領域專家審查時極難發現
商業視角
競爭版圖
- 直接競品：Google DeepMind AlphaProof（2024 年 IMO 銀牌等級）、Lean 定理證明器整合工具（如 LeanCopilot）
- 間接競品：Wolfram Alpha 的符號計算、傳統電腦代數系統 (CAS) 如 Mathematica、SageMath
護城河類型
- 工程護城河：OpenAI 在「長思考」模式的基礎設施投資，以及 GPT-5 系列在數學推理的持續迭代 (5.4→5.5→5.6)
- 生態護城河：Bubeck 等頂尖研究員主動以 OpenAI 模型做公開驗證，形成高可信度的能力背書
定價策略
GPT-5.6-pro 的長思考模式定價目前未公開，但 168 分鐘的思考時間意味著每次實驗成本可能相當可觀。對數學研究機構而言，這可能是「偶爾嘗試高價值問題」而非「日常工具」的使用情境。
企業導入阻力
- 數學界的同行評審文化尚未確立「AI 輔助貢獻」的歸屬慣例，缺乏共識
- 驗證門檻高：需要具備頂尖數學背景的人工審查者，不是每個機構都有此資源
第二序影響
- 「低垂果實」博士論文題目的難度標準將被重新定義，博士訓練方向可能轉向「提問品質」而非「推導執行」
- 數學期刊可能需要制定新的「AI 輔助」揭露慣例和審稿標準
判決：AI 數學工具進入「定向輔助」實用階段（但獨立發現能力仍需驗證）
在人類提供問題背景與方向線索的前提下，前沿 LLM 已展示出在頂尖數學問題上的實質貢獻能力。但「AI 能否自主識別跨域工具並提出全新框架」這個更高標準，目前尚未被此次事件所驗證。
數據與對比
GPT-5.6 vs 人類最佳結果對照
結果類型 | 數值 | 來源 |
|---|---|---|
公開文獻上界（1991 年起） | n^O(n) （超指數） | 已發表論文 |
公開文獻下界 | √n | 已發表論文 |
Bubeck 團隊未發表下界 | 2ⁿ | 私下確立，未發表 |
Bubeck 團隊未發表上界 | 2.29ⁿ | 私下確立，未發表 |
GPT-5.6 下界 | 2ⁿ | 2026-07-10，168 分鐘 |
GPT-5.6 上界 | 2.31ⁿ | 2026-07-10，168 分鐘 |
比較脈絡
GPT-5.6 的上界 2.31ⁿ 略遜於人類最佳未發表的 2.29ⁿ，但已遠優於公開文獻的 n^O(n) 。更值得注意的是，模型同時找到了下界與上界，且兩者均已通過人工驗證。
前一版 GPT-5-pro 在 2025 年 8 月曾以 17 分鐘將另一個凸優化問題的上界從 1/L 改進至 1.5/L，同樣通過驗證。兩個數據點共同指向：前沿 LLM 在特定數學問題上的能力正在穩定提升。
最佳 vs 最差場景
推薦用
- 以「開放問題」形式提交已有人類方向線索的數學猜想，讓 AI 完成推導部分並由領域專家驗證
- 用 AI 探索不同數學領域之間的結構類比，尋找跨域工具的橋接可能性
- 讓 AI 驗證或反駁已有直覺的數學推導步驟，作為人類數學家的「快速校稿器」
千萬別用
- 期待 AI 在毫無方向線索的情況下自主發現全新數學工具或概念框架
- 將 AI 生成的數學論述直接視為正確而不做人工驗證——提示方向可能扭曲推導
- 用數學研究突破類推 AI 在需要長期維護和可讀性判斷的工程場景中的能力
唱反調
提示已包含「曲線縮短流」方向線索，意味著 GPT-5.6 完成的可能只是「有方向的計算執行」，而非真正的數學發現——識別跨域工具這個最難的步驟依然是人類完成的
Bubeck 花費超過一年先後嘗試 GPT-5.4、5.5 才成功，168 分鐘只是最終那一次的成本，忽略了背後大量失敗嘗試與人類方向調整，誇大了 AI 的效率
社群風向
如果 AI 在好奇心、檢驗好奇心、追尋到發現這條路上都比人類更強……那麼人類的角色到底在哪裡？或者你只是隱性地認為 AI 永遠無法在所有面向都超越人類？
如果你問 LLM『你用了哪個已知例子來解決這個問題？』它很可能給出一個聽起來合理的引用——但這絕對不代表它實際上用了那個方法。它只是在試圖給出『正確答案』。
它們不是隨機鸚鵡，而是下一個 token 預測機器——既不智能也不創造性。但對某些任務確實很有用。
數學家們根本沒有在為錯誤問題而糾結猶豫。
在 Spark 資料庫查詢最佳化這件事上，絕對不要相信 GPT-5.6 Sol——我剛花了幾天和它共事，它本可以輕易最佳化讓速度更快，但就是沒有這樣做。
炒作指數
行動建議
若有數學研究背景，嘗試以「提供問題背景 + 已知邊界 + 可能相關工具」的提示格式，測試前沿 LLM 在你熟悉領域的推導能力，並親自逐步驗證輸出的推導鏈
建立「AI 輔助數學研究」的工作流原型：LLM 生成候選推導 → 人工逐步驗證 → 追蹤哪類問題 AI 表現最穩定，累積成功與失敗的提示模式
追蹤 Bubeck 後續是否發表完整論文，以及數學期刊社群如何制定 AI 輔助貢獻的揭露慣例——這將定義未來 AI 在正式數學研究中的角色邊界