OpenAI 宣稱，他們最新的推理模型給出了一個原創數學證明，推翻了一道從 1946 年就懸而未解的幾何猜想。這道題最初是由傳奇數學家 Paul Erdős 提出的。
如果你覺得似曾相識，那是因為這不是 OpenAI 第一次放這種話。七個月前，OpenAI 的前副總裁 Kevin Weil 在 X 上發文說「GPT-5 解出了 10 道 Erdős 未解問題，還在另外 11 道上取得了進展。」
結果呢？GPT-5 根本沒解出任何東西，只是翻出了文獻裡已經存在的解法。
Yann LeCun 和 Google DeepMind 執行長 Demis Hassabis 等對手當場開酸，Weil 也火速刪文。這一次，至少看起來 OpenAI 沒有犯同樣的錯。公司這次同步公布了來自 Noga Alon、Melanie Wood 和 Thomas Bloom 等數學家的背書——Bloom 正是維護 Erdős Problems 網站的人，上次他把 Weil 的貼文稱作「一次戲劇性的誤導」。
「將近 80 年來，數學家一直相信最佳解長得像方格網格，」OpenAI 在 X 上貼文說。「OpenAI 模型現在推翻了這個信念，發現了一整套全新的構造，表現得更好。」
OpenAI 說，這標誌著「AI 第一次自主解決了一道數學領域核心的重要開放問題」。這個證明來自一個通用的推理模型，不是專門為數學設計的系統，更不是為這道題特製的。
OpenAI 強調這個意義重大：代表 AI 系統現在更有能力串起長而複雜的推理鏈，用研究人員之前沒嘗試過的方式在領域之間建立連結。這對生物學、物理、工程和醫學都有意義。
「AI 正在幫我們更完整地探索這座我們花了幾個世紀搭建的數學大教堂，」Bloom 在一份聲明中說。「還有哪些我們看不見的奇景在幕後等著？」
