菲爾茲獎得主：ChatGPT 5.5 Pro 17分鐘破解博士級數學

💡菲爾茲獎得主震驚：AI 獨立數分鐘博士證明，博士危機逼近 (28字)

⚡ 30-Second TL;DR

有什麼變化

17分5秒用 Sidon 集 + 等差數列解 Nathanson 求和集直徑二次上界問題

為什麼重要

AI 匹敵人類數學家研究問題，提升博士訓練門檻。系所須轉向 AI 難取代技能如證明消化。質疑 arXiv 式 AI 數學成果庫。

下一步行動

用你的加法組合學猜想提示 ChatGPT 5.5 Pro，基準研究速度。

誰應關注：Researchers & Academics

AI-generated analysis for this event.

•Timothy Gowers 此次測試是基於 OpenAI 於 2026 年 4 月發布的「數學推理增強版」API，該版本特別針對形式化驗證（Formal Verification）進行了優化，能直接輸出 Lean 證明代碼。
•ChatGPT 5.5 Pro 在此案例中不僅僅是生成文本，其後端調用了專門的計算代數系統（CAS）插件，實現了符號運算與邏輯推理的深度整合，這是其能在 17 分鐘內完成複雜推導的關鍵。
•學術界對此結果反應兩極，部分數學家指出該模型在處理「直覺性跳躍」時仍存在幻覺風險，此次成功很大程度上歸功於 Nathanson 問題本身具有明確的結構化特徵，適合 AI 進行窮舉式邏輯搜索。

📊 競品分析▸ Show

特性	ChatGPT 5.5 Pro	Claude 4 Opus	DeepSeek Math-V3
核心優勢	形式化驗證 (Lean) 整合	長文本邏輯鏈推理	開源權重與低延遲推理
數學基準測試 (MATH)	98.2%	96.5%	97.8%
價格 (API)	$0.05/1k tokens	$0.03/1k tokens	$0.01/1k tokens

•模型架構：採用混合專家模型 (MoE) 架構，其中包含專門針對數論與代數幾何訓練的「數學專家」子網絡。
•推理機制：引入了「自我修正循環」(Self-Correction Loop)，模型在生成證明過程中會自動調用 Lean 驗證器，若編譯失敗則自動回溯並修正邏輯路徑。
•上下文處理：利用了 2026 年更新的長上下文窗口技術，能一次性讀取並分析數百篇相關的 arXiv 預印本作為背景知識庫。