OpenAI 已向《紐約時報》正式確認，繼攻克納維-斯托克斯問題之後，公司在過去五天內又在另一個千禧年大獎難題上取得實質性進展，目前正在評估如何審慎地對外公佈這些結果。最新訊息顯示，這個被推進的難題正是霍奇猜想。與此同時，Anthropic 也傳出接近解決伯奇-斯維訥頓-戴爾猜想。若這些進展全部坐實，意味著封印人類數學界數十年的多個千禧年難題，可能在一個月內被 AI 相繼攻破。

支撐這一系列突破的，是外界推測代號為 Aeon 的 OpenAI 全新內部模型。據報道，大約兩週前 OpenAI 完成了該模型的訓練，其數學推理能力大幅超越兩週前被稱為世界最強的模型 Astra。更引人注目的是速度：從零開始到徹底解決納維-斯托克斯方程，Aeon 只用了 88 個小時。這一迭代節奏遠超外界預期。

霍奇猜想是克雷數學研究所設立的七大千禧年大獎難題之一，懸賞金額為 100 萬美元。它由蘇格蘭數學家威廉·瓦倫斯·道葛拉斯·霍奇提出，霍奇在 1930 年至 1940 年間開展相關研究，並在 1950 年的國際數學家大會上作演講介紹。該猜想試圖連線數學的兩個核心領域：拓撲學與代數幾何。拓撲學研究柔軟的幾何特徵，關注整體形狀，比如一個空間裡到底有多少個洞，只要不撕裂形狀，路徑可以隨意彎曲；代數幾何則研究剛性的幾何特徵，研究由嚴格的多項式方程定義出來的形狀，結構固定、無法隨意變形。

霍奇猜想斷言：在特定的空間（非奇異復代數簇）內部，那些拓撲意義上的洞，每一個都有由代數方程構成的堅硬骨架在支撐。這意味著，原本看起來抽象、難以直接觀察的高維拓撲特徵，背後都有精確的代數方程作為根源。幾十年來，霍奇猜想和伯奇-斯維訥頓-戴爾猜想一直困擾著頂尖數學家。

從產業視角看，這一輪競賽的背景是頭部 AI 實驗室在科學前沿的軍備競賽正徹底白熱化。隨著 Anthropic 傳出籌備 IPO 的訊息，兩家實驗室在基礎研究層面的角力被進一步放大。AI 生成並驗證嚴肅數學證明，代表它已經具備產出全新科學知識、尋找全新創造性解法的能力——這與以往 AI 主要承擔模式識別或內容生成任務有本質區別。

對關注馬斯克生態的讀者而言，這一動向同樣值得留意：大模型戰場正從語言能力、程式設計能力延伸到高難度數學推理，而數學能力往往被視為通向更通用科學發現能力的門檻。SpaceXAI（原 xAI）旗下 Grok 與 OpenAI、Anthropic 等對手在這一維度上的相對位置，將直接影響外界對各家公司技術路線與長期競爭力的判斷。

需要指出的是，上述進展目前仍處於「確認取得進展」與「接近解決」的階段，具體證明是否經得起數學界同行評審、公佈方式與時間表均未落定。歷史上，重大數學猜想的驗證往往需要數年時間，AI 給出的證明同樣需要經過嚴格檢驗。因此，這些訊息在引發興奮的同時，也應保留對結果最終形態的審慎觀察。