傳 OpenAI 接近攻克「霍奇猜想」：已是第二個千禧年數學難題

OpenAI 似乎打算把數學界的千禧年難題挨個刷一遍。

據 The Information 報道，知情人士透露，OpenAI 已經接近解開霍奇猜想（Hodge Conjecture）。這是它挑戰的第二個千禧年大獎難題。

內部員工預計這個問題很快就會被攻克。霍奇猜想探討的是由多項式方程定義的幾何形狀，其特徵能否用更簡單的代數構件來拆解和描述。

怕了數學界，這次不敢高調了

此前挑戰納維-斯托克斯問題時，OpenAI 用的是其代號為「Doug」的下一代預訓練模型變體。

不過那次公佈在數學界引發了不小的公關爭議。據 The Verge 報道，考慮到上次的風波以及近期對模型控制力的質疑，OpenAI 正在放慢節奏。

他們正試圖搞清楚如何與數學家群體合作釋出成果，避免再次引來學術界的群嘲。

為什麼重要

如果前沿大模型真的能啃下霍奇猜想這種級別的抽象難題，說明 AI 在純數學推理上走得比外界預想的更遠。代號為「Doug」的模型能力一旦被驗證，將極大推高 AI 在基礎科學研究中的分量。

但比起解題本身，OpenAI 這次更讓人關注的是它的態度變化。純數學不是跑跑跑分就能結案的技術測試，它極度依賴嚴謹的同行評議和證明驗證。

在我們看來，推遲釋出、尋求合作是學聰明了。此前單方面宣佈搞定納維-斯托克斯，把學術探索搞成了公關宣傳，惹得數學界極為不滿。AI 想要在殿堂級的科學領域站穩腳跟，先學會尊重學術共同體的規矩才是正道。