60字提示、5.5小時：ChatGPT推翻30年圖論猜想

這一週，AI在數學界連續放槍。先是Jacobian猜想被推翻，現在輪到圖論裡的Dinitz-Garg-Goemans猜想——用的是四條加起來不到60個英文字的提示，ChatGPT 5.6 Pro花了5.5小時給出反例，直接證明這個存在30年的猜想是錯的。

這個猜想本身可以這樣理解：如果貨物從倉庫出發可以拆成小批走不同路線，猜想認為你永遠可以把這個情境轉換成不拆貨的方案、且總運輸成本不上升。Autokernel共同創辦人Dmitry Rybin在X上貼出反例，他說自己在這個問題上已經想了幾個星期；AI用幾小時做到的事，人類花了幾十年沒做到。York大學的Chris Bowman-Scargill點出一個結構性背景：圖論裡「猜想最後是錯的」幾乎是業界笑話——只要多加一兩個節點，整個圖的行為就可能翻天覆地，這正是反例難以被人工察覺的原因。

問題來了：這代表AI已經可以包攬數學研究了嗎？Queen Mary大學的Abhishek Saha給了一個清醒的答案：沒有。他說AI現在確實在某些數學任務上已經超過人類，「低垂果實」不少，光靠把問題丟給系統、稍微指引方向就能找到反例或完成驗證。但能做這些，不代表能建構出解決最深層數學猜想所需的整套理論——兩件事完全不是同一個難度等級。Illinois大學的Alexander Yong則把這件事的意義說得更清楚：AI找反例本身不算最震撼的成就，真正有份量的是從一串環環相扣的論證建構出一個完整的證明。但他預期AI很快就會靠著「熟讀文獻＋瘋狂試探」的組合去證明更多猜想，而那些撐過AI地毯式搜查仍未被解決的問題，才是人類數學家真正值得押注的方向。

這個節骨眼值得注意的不只是單一事件，而是頻率。同一週內出現多個「AI推翻數學猜想」的案例，一個追蹤AI數學發現的網站甚至已經自動冒出來按模型分類整理。這說明一件事：AI正在快速清理數學界長期懸而未決的「待驗庫存」，速度快到學界需要重新想清楚，哪些問題值得人力投入、哪些其實只是等一個算力夠強的系統來跑完搜索空間。對於倚賴數學研究成果做應用的產業——密碼學、最佳化、物流路徑規劃——這個加速週期意味著底層理論的更新速度可能比過去快上好幾倍。