FB 建議貼文

選取貼文複製成功(包含文章連結)!

AI數學能力大躍進!OpenAI新模型GPT-5.2 Pro攻克世紀難題

AI數學能力大躍進!OpenAI新模型GPT-5.2 Pro攻克世紀難題

OpenAI 旗下的 GPT-5.2 Pro 模型再次展現強大能力,成功破解了一道著名的埃爾德什數學難題,並獲得知名數學家陶哲軒的高度肯定。這項突破被視為人工智慧在解決開放性學術問題上的重要里程碑,顯示 AI 在草擬證明與修改數學文本方面的潛力。

根據媒體報導,Eclipse 創辦人 Neel Somani 在 X 平台上發文表示,他利用 GPT-5.2 Pro 成功破解了另一道著名的埃爾德什(Erdős)數學難題。

AI數學能力大躍進!OpenAI新模型GPT-5.2 Pro攻克世紀難題

數學家陶哲軒指出,GPT-5.2 Pro 在至少一個埃爾德什問題上,幾乎是獨立地完成了整個解答過程。他認為,這很可能是人工智慧解決開放性問題最明確的案例。

OpenAI 總裁兼共同創辦人葛雷格·布洛克曼(Greg Brockman)隨後轉發並評論指出,這象徵著數學與科學領域的一大進步。

GPT-5.2 Pro 是 OpenAI 在 2025 年推出的最新高階模型系列之一,其定位是針對專業複雜任務,提供更強大的推理能力與結構化輸出工具。

OpenAI 官方檔案也指出,GPT-5.2 系列在科學與數學任務方面有顯著的進步,能夠生成詳細且結構化的論證,並探索假設與證明方向,但最終結果仍需要人類專家進行驗證。

這個過程強調的是人工智慧在草擬證明並快速反覆修改數學文本方面的能力,而不僅僅是搜尋既有文獻的結果。陶哲軒同時表示,這類解答的意義應該審慎理解,因為大多數學術問題的難度各有不同,且只有少數開放性問題適合在有限的人類指導下,利用現有工具來解決。

補充說明:埃爾德什問題源於已故的匈牙利數學家保羅·埃爾德什(Paul Erdős),他曾提出數百個開放性問題,涵蓋組合數學、數論等多個領域。這些問題當中,有些是極其困難的深度猜想,也有一些是長期以來較少被研究的容易問題。整體問題的難度分佈非常廣泛。

因此,即使一個問題長時間以來都未被正式解決,我們也不能直接斷定它是無解的難題,或者從來沒有人嘗試研究過。陶哲軒指出,在很多情況下,問題可能只是尚未被認真研究過而已。

 

 

KKJ
作者

快科技成立於1998年,是驅動之家旗下科技媒體業務,中國極具影響力的泛科技領域媒體平台之一。

使用 Facebook 留言
發表回應
謹慎發言,尊重彼此。按此展開留言規則