IXThinker·2026-01-20 15:10

GPT-5.2 Pro獨立證明45年數論猜想

AI獨立證明數學猜想再有實質突破。OpenAI模型GPT-5.2 Pro完成埃爾德什問題庫第281號猜想的獨立證明，論證經菲爾茲獎得主陶哲軒檢驗成立，並獲高度評價。

猜想來龍去脈

第281號問題由傳奇數學家埃爾德什與格雷厄姆於1980年共同提出，涉及同餘覆蓋系統與自然密度的深層關係，45年來一直無人解開，屬組合數學的著名難題。