突發！OpenAI下一代AI攻克10項菲爾茲獎級難題

OpenAI在數學領域投下震撼彈。美國時間8月1日，OpenAI對外公開一份長達249頁的研究論文，揭露其內部模型Astra一口氣在十個長期停滯的頂尖數學難題上取得重大突破，涵蓋高維幾何、編碼理論、算術電路複雜度、群論、算子代數、量子複雜度、格密碼學與極值組合學等多個領域。消息傳出後，全球數學界隨即沸騰，多位知名學者公開表達難以置信的震驚。 這份論文的發布時機也格外引人注目。OpenAI執行長奧特曼正在美國國會進行模型示範，而他所展示的正是代號為Astra的內部模型。在此之前，外界僅知道OpenAI曾在五月公布一項關於埃爾德什單位距離猜想的反例，如今才正式確認，該成果同樣出自Astra之手。此次公布的十項突破，則是在至少十年未有進展的難題上所取得的具體進展。 數學家、美國數學學會會士、羅格斯大學傑出教授Alex Kontorovich在看完論文後難掩震撼，僅留下兩個驚嘆號。錢學森母校加州理工學院的一名數學博士更直言，其中部分成果已達到菲爾茲獎等級。根據Epoch AI的OpenMath評分標準，包括GPT-5.6 Sol Pro與Fable 5 Max在內的多個模型評估認為，這十項結果大多可獲評為「重大進步」，其中第三項成果更被認為具備破圈潛力，有望成為全年數學領域最佳成果之一。Claude Fable 5甚至評論，按照菲爾茲獎標準，這十項中的任何單一成果都足以獲獎。 在眾多突破中，最受矚目的當屬終結了數學家Gromov自1999年提出的非sofic群問題。所謂sofic群，概念源自希伯來語的「有限」，簡單來說，若一個無限大的複雜群能用有限的置換去逼近、模擬其局部乘法表，就稱之為sofic群。問題的核心在於：是否所有可數群都是sofic群？這個問題看似冷僻，實則牽動sofic熵理論、動力系統遍歷論與算子代數等諸多數學版圖。若答案為否，意味著存在某種根本上無法被有限結構逼近的群，整個理論框架都需重新審視。二十七年來，無數頂尖數學家嘗試構造反例皆鎩羽而歸，而Astra直接從數學代碼庫中拎出「二元Leavitt代數的單位群」，結合Kun-Thom擴展圖理論與湯普森群V，硬生生逼出邏輯矛盾，構造出一個無限有限呈現的非sofic群，完整給出反例。數學家Elliot Glazer第一時間確認消息屬實，並稱這是迄今為止最重要的AI輔助數學成果。 另一項重大突破發生在高維球體堆積問題。三維世界中，人類直到數百年前才透過開普勒猜想搞懂如何最緊密堆疊球體，而高維空間的難度更是如同夢魘。2022年，數學家Maryna Serhiivna Viazovska因解出八維與二十四維的球體堆積問題獲得菲爾茲獎，但她的成果僅限於特定維度。當維度趨向無窮大時，密度上限究竟為何？自1978年兩位蘇聯數學家給出極限後，四十六年來全世界最頂尖的數學家都無法再推進分毫。這次Astra不僅給出全新證明，更精確算出Cohn-Elkies線性規劃的指數衰減率，首次突破1978年的邊界，等同於直接打破該領域近半世紀的智力天花板。 在算子代數領域，Astra同樣展現驚人實力。1982年菲爾茲獎得主、非交換幾何奠基人Alain Connes提出的「剛性猜想」指出，某些極其特殊的群所生成的馮·諾依曼代數具有獨一無二的指紋特性。這項猜想數十年來困住無數數學家，而Astra不僅證明Connes錯了，還以一種極致的方式證偽：它沒有只找一個反例，而是直接構造出一個可數無限的群家族，這些群彼此互不同構，但它們生成的馮·諾依曼代數卻完全一模一樣。這種「下了一場暴風雪」式的反證手法，遠超人為建構的想像力。 最令外界震撼的，是這十項突破的生成成本。若按Sol API價格計算，產出這十項證明的總成本不到2000美元，平均每一項僅約200美元，相當於一名研究生一個週末的津貼。更驚人的是，這並非OpenAI刻意安排的專案研究，而是評估一個未發布模型時意外獲得的「副產品」。換句話說，解決一個具有科研價值的猜想，成本竟低廉到這種地步。不過，OpenAI也坦言，這十個猜想是精選之後的結果。OpenAI推理模型核心締造者Noam Brown直接放出重話，表示團隊確實嘗試過其他難題，目前尚未成功攻克類似黎曼猜想等級的千禧年大獎難題。但更關鍵的是，測試時計算規模遠未封頂，連百萬美元級別的世界性難題也可能被啃下。 值得注意的是，OpenAI此次刻意公開了完整的推演過程，並使用Lean 4進行形式化驗證。意即每個推理步驟都經過機器可獨立檢驗的證書確認，不存在「感覺對了」的灰色空間。這對數學界而言具有分水嶺意義，因為傳統數學論文依賴審稿人的人工驗證，而Lean 4的機械核驗從根本上杜絕了人為錯誤的可能性。曼徹斯特大學皇家學會大學研究員Thomas Bloom直言，這次突破比先前OpenAI證偽單位距離猜想更重要，因為它展示了AI在構造性證明上的真正實力。 對於AI是否比人類最優秀的數學家更聰明，學界看法仍舊分歧，但不可否認的是，Astra已經展現出極其深邃的純數學直覺與構造能力。無論是利用條件概率攻克量子糾纏遊戲，還是利用多項式求導建立計算複雜性下界，這些都需要真正的推理能力，而Astra做到了。「AI教父」辛頓曾預言，未來十到二十年內，AI可能創造出人類無法理解的新數學，如今OpenAI這次的突破，讓那個時間表看起來都顯得過於保守。數學家們引以為傲的智力領域，迎來了真正的破壁者。