OpenAI GPT 5.2 攻克數學之巔：15 個艾狄胥猜想宣告破解

人類智慧的最後堡壘正在動搖。2025年12月25日至今，傳奇數學家艾狄胥（Paul Erdős）遺留的逾千個未解猜想中，已有15 個難題從「開放」轉為「已解決」。更令人驚嘆的是，其中11 個解決方案明確歸功於人工智慧模型的直接參與。

OpenAI GPT 5.2 數學突破：重新定義邏輯推理邊界

軟體工程師兼新創公司 Harmonic 創辦人 Neel Somani 在測試 OpenAI 最新模型 「GPT 5.2」 時發現，該模型在長達 15 分鐘 的深度思考後，竟產出了連哈佛教授 Noam Elkies 都未曾提出的更完整證明。這標誌著大型語言模型在處理高難度數學公理如勒壤得公式（Legendre's formula）時，已展現出翻天覆地的進步。

當代數學大師陶哲軒（Terence Tao）對此抱持審慎樂觀的態度。他在 GitHub 上指出，目前已有 8 個 不同的猜想在 AI 的自律推導下取得實質進展。他認為，AI 系統具備的可擴展性，使其極其適合系統化地處理那些長尾且晦澀的艾狄胥難題。

形式化證明工具的助推效應

此次突破的另一推手是數學「形式化（Formalization）」的趨勢。透過微軟研究院開發的 Lean 證明輔助軟體以及 Aristotle 等自動化工具，AI 能夠更精確地驗證推理過程。對於全球頂尖教授而言，AI 工具已從實驗性的玩具轉變為具備學術信譽的科研助手。