Eclipse創始人Neel Somani近日在社交平台 X 發文表示,他借助OpenAI最新模型 GPT-5.2 Pro,成功破解了另一項知名的 Erdős(埃爾德什)數學難題,引發學術界與科技圈關注。
著名數學家陶哲軒隨後表示,GPT-5.2 Pro 在至少一個 Erdős 問題上,幾乎獨立完成了完整的解題過程,這可能是「人工智能解決開放數學問題最明確的案例之一」。不過他同時強調,應謹慎看待相關成果,因為不同開放問題的學術難度差異極大,不能一概而論。
OpenAI 總裁兼聯合創始人Greg Brockman隨後轉發相關內容並評論稱,這是數學與科學進步的重要標誌,顯示 AI 正逐步成為科研體系中的一項關鍵工具。
資料顯示,GPT-5.2 Pro 是 OpenAI 於 2025 年發佈的高階模型系列之一,主要面向專業與高複雜度任務,強調更強的推理能力與結構化輸出。OpenAI 官方文件指出,GPT-5.2 系列在科學與數學任務方面取得明顯進展,能夠生成較完整的論證結構,並探索假設與證明思路,但相關結果仍需人類專家進行嚴格驗證。
陶哲軒進一步指出,當前 AI 在數學領域的價值,更多體現在「快速草擬證明與反復修訂數學文本」的能力,而非完全取代人類研究者。他也提醒,只有少數開放問題適合在有限人類指導下,由現有 AI 工具完成有效探索。(編輯部)