近日,劍橋大學數學教授、菲爾茲獎得主 Timothy Gowers 在其博客中分享了他使用尚未公開的 ChatGPT 5.5 Pro 進行數學研究的經歷。這款 AI 模型在短短一小時內成功解決了一個組合數學領域的開放性問題,引發了學術界對 AI 數學能力的新一輪關注。

Gowers 教授指出,隨着 AI 技術的發展,大語言模型在數學領域的應用經歷了顯著的變化。早期人們對其能力存在疑慮,認爲它只能尋找已知答案或簡單推導結果。然而,Gowers 的實驗顯示,ChatGPT 5.5 Pro 具備了更爲獨特的能力,能夠識別人類數學家可能忽略的簡潔論證,並在缺乏完整理論框架的情況下構建原創性的證明思路。
此次研究的對象是來自數學家 Mel Nathanson 的一項問題,該問題涉及加性數論中的和集直徑上界的估計。Gowers 在引導下,ChatGPT 5.5 Pro 經過多次嘗試,從最初的指數上界逐步改進到多項式上界,最終在一個小時內完成了完整的證明。MIT 本科生 Isaac Rajagopal 在審閱後表示,該證明幾乎肯定是正確的,且在覈心思想上同樣可靠。
Gowers 還提出了一個重要的學術倫理問題,即如何處理這些 AI 生成的數學成果。儘管 ChatGPT 的工作已達到了發表標準,但其投稿至傳統期刊似乎並不適合,因而建議建立專門的 AI 數學成果倉庫,由人類數學家進行審覈。這一變化可能對數學教育、研究生培養及學術評價體系產生深遠影響。
劃重點:
📊 AI 模型 ChatGPT 5.5 Pro 在一小時內成功破解博士級數學難題,展現出新的數學能力。
🔍 Gowers 教授指出,該 AI 不僅能識別簡潔論證,還能在缺乏完整理論框架的情況下提出原創思路。
📜 學術界面臨新挑戰,需建立專門的 AI 數學成果審覈機制,促進數學研究的發展。
