OpenAI 撤回 GPT-5 攻克數學難題言論：只是找到了已有論文

如果你這幾天刷到「GPT-5 攻克了困擾數學界數十年的難題」，最好先別急著驚歎。因為這起轟動一時的科學突破，剛發出來沒多久就被光速打臉，甚至驚動了競爭對手的高管排隊圍觀嘲諷。

事情的起因是 OpenAI 高管 Kevin Weil 在社交平臺發文，聲稱 GPT-5 成功解出了 10 個此前未解的埃爾德什猜想相關難題，並在另外 11 個問題上取得了進展。隨後其他幾位研究員也紛紛轉發跟進，措辭裡滿是「數十年未解」「找到新解法」這樣的字眼，讓人以為 AI 已經能獨立推匯出高深數論定理了。

一場由「未解」引發的烏龍

但這出大戲很快迎來了反轉。維護埃爾德什問題資料庫網站的數學家 Thomas Bloom 第一時間站出來潑了冷水。

Bloom 直言 OpenAI 的說法是極其誇張的誤讀。他解釋說，自己網站上標註的「未解」，僅僅代表他個人還不知道解答，或者尚未收錄已有成果，絕不等於數學界至今沒人做出來。

換句話說，GPT-5 根本沒有發明任何新數學定理。它只是在浩瀚的論文庫裡挖出了別人早就發表、但 Bloom 恰好沒注意到的舊成果，充當了一次高效的文獻檢索工具。

真相大白之後，相關推文被迅速刪除，研究人員也承認了失誤。但同行可沒打算輕易放過他們。DeepMind 執行長 Demis Hassabis 直言這種不嚴謹的溝通令人尷尬，Meta 首席 AI 科學家 Yann LeCun 也發帖嘲諷，認為 OpenAI 純粹是被自己的宣傳泡沫給絆倒了。

陶哲軒眼中的真實價值

拋開誇大宣傳的尷尬，這件事其實暴露出一個被掩蓋的真實能力：GPT-5 在處理碎片化、術語不統一的學術文獻時，確實展現出了很強的檢索和關聯能力。

著名數學家陶哲軒對此給出了相對理性的評價。他認為 AI 目前在數學領域最直接的價值，本來就不是去攻克那些最難的頂尖猜想，而是替學者幹髒活累活，比如跨學科搜尋分散的論文。

陶哲軒此前曾提到，生成式 AI 有望幫助數學研究走向某種程度的工業化，從而大幅加快科研節奏。不過他也強調，哪怕只是文獻梳理，最終依然必須由具備深厚專業知識的人類學者來把關、分類和驗證。

為什麼重要

我們認為，這起烏龍事件精準折射出 OpenAI 內部正在承受的巨大變現與競爭焦慮。

為了給下一代模型造勢，揹負數百億美元期待的團隊似乎急於向外界證明，AI 已經跨越了語言工具的範疇，開始成為能夠自主探索未知科學的超級大腦。但用模糊的修辭把一次漂亮的文獻檢索包裝成重大科學突破，不僅沒能立威，反而重創了其研究團隊的嚴謹聲譽。

對於科研人員和普通從業者來說，這件事也是個清醒劑。指望現在的 AI 替人類搞出顛覆性的原創科研成果還不切實際，現在盲目信任其結論依然要承擔極高的驗證成本。但如果你把它當成一個不知疲倦的文獻調研助手，它的表現確實值得一試。

看起來，AI 行業當下最缺的不是更聰明的模型，而是誠實面對模型真實邊界的剋制與清醒。