近日,OpenAI 的 GPT-5取得了一項驚人的成就 —— 它首次通過了哥德爾測試,併成功破解了三大組合優化領域的數學猜想。這一突破不僅令 OpenAI 的研究科學家們感到驚訝,也爲人工智能在數學研究中的潛力打開了新的大門。

在這項由海法大學與思科公司聯合進行的研究中,研究團隊設計了五項複雜的組合優化測試任務,GPT-5憑藉其強大的邏輯推理能力,接連攻克了三個問題。OpenAI 的科學家 Sebastien Bubeck 表示,這類開放性問題往往需要頂尖博士生花費數天的時間來解決,而 GPT-5則用其創新的解法一次性搞定了。

image.png

研究的過程非常有趣。每個數學猜想只給出了簡要的描述和1到2篇參考文獻,模擬了數學研究中通常需要的獨立探索。GPT-5通過有限的信息,生成了完整的證明過程,這種能力在過去的人工智能模型中是難以想象的。

在這三大猜想中,最引人注目的是第二個猜想。GPT-5不僅成功解決了問題,還推導出了與研究人員預期截然不同的有效解法,顛覆了原有的猜想。這一成果標誌着 AI 在數學領域邁出了重要的一步,從 “學習數學” 轉向 “真正做數學”。

image.png

然而,雖然 GPT-5的表現令人欣喜,但在面對複雜的推理任務時,它仍存在一定短板。在一些需要綜合多條推理路徑的問題上,GPT-5的表現不如預期。這表明,儘管技術在進步,AI 在整合性推理方面仍有待提高。

GPT-5的突破無疑爲未來的數學研究和 AI 發展開闢了新的可能性,預示着2030年代科研範式的深刻變革。

論文地址:https://arxiv.org/abs/2509.18383