據 The Information 報道,OpenAI 據稱正接近攻克數學界七大千禧年難題之一的霍奇猜想。這是繼納維-斯托克斯方程之後,該公司據報瞄準的第二個千禧年難題。霍奇猜想探討的是,某些幾何物件的性質是否總能通過更簡單的代數構件來描述。

知情人士稱,OpenAI 內部員工預計很快就能得出解法,但正式對外公佈的時間可能被推遲。原因與上一次的公關風波有關:納維-斯托克斯方程的解至今仍未獲得官方確認,而圍繞它的對外溝通引發了爭議。據報 OpenAI 這次希望把資訊釋出的方式處理得更妥當。

報道提到,在納維-斯托克斯方程的求解中,OpenAI 使用了一款下一代預訓練模型的變體,代號為 “Doug”,成本可能高達數百萬美元。這一細節顯示,攻克此類數學難題需要投入相當規模的算力與資金。

值得注意的是,OpenAI 首席研究員 Jakub Pachocki 曾在 Astra 釋出活動上表示,公司會優先聚焦“遞迴自我改進”,也就是讓 AI 最佳化自身,而非數學。因此,公司究竟希望從解決這些數學難題中獲得什麼,目前並不清晰。報道稱,OpenAI 內部一些人認為,這類成果或許能反哺遞迴自我改進的研究。

與此同時,數學界的反應更多是憤怒而非讚歎。部分數學家認為,整個數學領域正面臨威脅。這種情緒與 AI 公司高調宣稱攻克基礎數學難題的姿態形成張力,也讓外界對相關成果的嚴謹性與歸屬產生疑問。

從更廣的背景看,千禧年難題由克萊數學研究所於 2000 年提出,每個難題懸賞 100 萬美元,至今只有龐加萊猜想被正式解決。AI 模型若真能在其中取得實質突破,將是對“AI 能否做原創數學研究”這一命題的重要檢驗。但截至目前,相關說法仍屬未經證實的傳聞,納維-斯托克斯方程的解也尚未得到官方確認。

對關注 OpenAI 與 AI 前沿的人來說,這條訊息的意義有兩層:一是技術層面,AI 是否正從輔助計算走向獨立提出並解決高難度數學問題;二是傳播層面,一家公司在成果尚未經同行評審前如何對外發聲,正成為其公信力的一部分。OpenAI 這次選擇推遲公佈,或許正是吸取了上一次的教訓。