OpenAI GPT 5.2 攻克數學之巔：15 個艾狄胥猜想宣告破解
OpenAI GPT 5.2 展現驚人數學推理能力，協助破解 11 個艾狄胥猜想。陶哲軒等頂尖數學家關注 AI 如何處理數學領域的「長尾」難題，形式化證明工具 Lean 與 Aristotle 成為關鍵。
人類智慧的最後堡壘正在動搖。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 工具已從實驗性的玩具轉變為具備學術信譽的科研助手。
相关文章
YouTube推出AI自訂動態消息功能，用戶輸入文字描述即可生成個人化影片清單。這項改變對內容創作者、廣告主與亞洲市場意味著什麼？
Meta宣布在全球推出Instagram、Facebook、WhatsApp付費訂閱方案，並測試Meta AI訂閱服務。這對亞洲用戶、華人社群與數位廣告產業意味著什麼？
IBM與法拉利車隊攜手以AI重塑F1球迷應用程式，賽事周末互動率提升62%。這場科技巨頭與頂級賽車品牌的合作，揭示了數據驅動粉絲經濟的新邏輯。
表面上，美中AI競爭每天升溫。但深入矽谷與深圳的研究現場，你會發現兩個生態系統深度交織——共享人才、論文、演算法，甚至同樣的偶像。對立敘事之外，現實更複雜。
YouTube推出AI自訂動態消息功能，用戶輸入文字描述即可生成個人化影片清單。這項改變對內容創作者、廣告主與亞洲市場意味著什麼？
Meta宣布在全球推出Instagram、Facebook、WhatsApp付費訂閱方案，並測試Meta AI訂閱服務。這對亞洲用戶、華人社群與數位廣告產業意味著什麼？
IBM與法拉利車隊攜手以AI重塑F1球迷應用程式，賽事周末互動率提升62%。這場科技巨頭與頂級賽車品牌的合作，揭示了數據驅動粉絲經濟的新邏輯。
表面上，美中AI競爭每天升溫。但深入矽谷與深圳的研究現場，你會發現兩個生態系統深度交織——共享人才、論文、演算法，甚至同樣的偶像。對立敘事之外，現實更複雜。
观点
分享你对这篇文章的看法
登录加入讨论