OpenAI還有大招！
奧特曼剛演示的內部模型Astra，一口氣在10個數學難題取得重大突破！
這249頁的PDF，在整個數學圈都是非常炸裂的程度。
數學家、美國數學學會Fellow、羅格斯大學傑出教授Alex Kontorovich難掩震驚，只留兩個驚嘆號。
這是一個足以載入史冊的分水嶺時刻：無論在數學領域，還是AGI的征程上。
說得直白些：如果這些結果經受住整個學界的檢驗，那麼單是今天的這一輪發佈，便堪稱現代史上相關領域單日跨度最大的一次飛躍！
Claude Fable5更是直言：「按照菲爾茨獎標準，任何一項都足以獲獎」!
最令人震驚的是，破解這十大難題，OpenAI竟然只用了2000美元。
數學界地震！載入AI史冊的一刻
五月份，OpenAI公佈了AI發現的埃爾德什單位距離猜想的反例。
但現在確認了，這是OpenAI的下一代模型Astra破解的，也是奧特曼現在正在給美國國會演示的那個模型。
現在，OpenAI又分享了Astra在至少十年沒有進展的難題上的最新成果。
這些問題涉及高維幾何、編碼理論、算術電路複雜度、群論、算子代數、量子複雜度、格密碼學和極值組合學等廣泛領域。
消息一出，數學圈瞬間炸鍋！
其中，最出色的成果，可能是Astra終結了Gromov自1999年提出的非sofic群問題。
錢學森母校加州理工學院的某位數學博士稱：「這是菲爾茨獎級別的成果」！
按照Epoch AI的OpenMath的評分標準，GPT-5.6 Sol Pro和Fable5 Max認為：
大部分結果都能得到同行的高度認可，被評為「Major Advance」(重大進步)。
唯獨第三項，具有破圈的潛質，有望成為全年數學領域最佳成果之一，被評為「突破」。
第三項結果也是一個反例：
OpenAI Astra構造出無限有限呈現的非sofic群，否定「所有可數群都是sofic」的猜想。
曼徹斯特大學皇家學會大學研究員、數學家Thomas Bloom直言：這次突破比此前OpenAI證偽單位距離猜想更重要。
而且，生成這10項突破性成果證明的總成本，如果按Sol API價格計算還不到2000美元，平均200美元。
也就是說，解決一個有科研價值的猜想大約只相當於一名研究生一個周末的津貼。
而這一切，竟只是評估一個未發佈模型時意外收穫的「副產品」。
另一點，大家不注意看，可能就忽略了：
這10個猜想是OpenAI精選之後的結果！
OpenAI推理模型的核心締造者Noam Brown直接放出重話。
他直言，OpenAI確實嘗試過其他難題，目前還沒有成功解決一個類似黎曼猜想這樣的千禧年大獎難題。
但更關鍵的是，測試時計算遠未封頂，連百萬美元級別的世界性難題也可能被啃下。
讓人既感慨又傷感：數學還會是人類心智的榮耀嗎？
249頁PDF，太震撼了
這份249頁的論文之所以震動數學界，不在於計算推演，而在於AI如數學大師般，在幾何、代數、群論等領域同時完成降維打擊式的證明與證偽。
一次在多個不同的領域，取得多項硬核突破，或許無人能及。這本身就讓人印象深刻。這次我們主要介紹3大問題。
斬斷世紀執念：找出史上首個「非Sofic群」
1999年，俄羅斯數學家、「數學諾貝爾獎」挪威阿貝爾獎得主Mikhail Gromov提出了sofic群的概念。
Sofic，來自希伯來語「有限」。
通俗地說，如果一個無限大的複雜群，能夠用有限的置換去完美逼近、模擬它的局部乘法表，那它就是Sofic的。
你可以把它想像成「無論多麼複雜的無限三維模型，都能用有限的像素點（體素）完美渲染出來」。
問題隨之而來：所有可數群，都是sofic群嗎？
這不是一個冷僻的技術細節。Sofic群的性質牽動着sofic熵理論、動力系統遍歷論、算子代數等一整片數學版圖。如果這個問題的答案是「否」，那就意味着存在某種根本上無法被有限結構逼近的群——整個理論框架都要重新審視。
27年間，無數頂尖數學家嘗試構造反例，無一成功。
Astra給出的答案是：構造出一個無限有限呈現的非sofic群。
OpenAI Astra直接從數學的代碼庫里拎出了一個現成的結構:「二元Leavitt代數的單位群」，然後甩出一份無懈可擊的證明：這個群絕對不可能被有限置換逼近！
為了證明這一點，AI的操作極其狂暴，它把Kun-Thom擴展圖理論和著名的「湯普森群V（Thompson's group V）」糅合在一起，硬生生逼出了一個邏輯矛盾。
這就好比人類還在到處尋找無法被像素化的物質，AI直接指着桌上的一個高維魔方說：「別找了，就是它，我證明給你們看。」
完整構造。有論證。有細節。
更關鍵的是：用Lean4做了形式化驗證，並附上機器可獨立檢驗的證書。
這是分水嶺所在。Lean4的證書意味着，每一個推理步驟都經過了機器的形式化核驗，不存在靠「感覺對」矇混過關的空間。
數學家Elliot Glazer第一時間確認消息屬實，並稱這是「迄今最重要的AI輔助數學成果」。
擊碎46年冰封的結界：高維球體堆積問題
想像一下你有一個紙箱，怎麼塞下最多的橘子？
在三維世界裏，人類直到幾百年前才通過開普勒猜想搞明白。而到了高維空間，這個問題變得如同夢魘。
2022年，數學家Maryna Serhiivna Viazovska因為解出了8維和24維的球體堆積（Sphere Packing）問題，拿下了數學界的最高榮譽「菲爾茲獎」。
震撼點：直接打破了自1978年以來人類在這個領域的「智力天花板」。
但注意，她解出的是「特定維度」。
如果維度走向無窮大，密度上限到底是多少？
自1978年兩位蘇聯數學家給出一個極限後，整整46年，全世界最頂尖的數學家寸步難行，連小數點後幾位都優化不了。
而這次，AI輕描淡寫地走入了這個死胡同。
它不僅給出了全新的證明，還直接精確算出了Cohn-Elkies線性規劃的指數衰減率，首次突破了1978年的邊界！
這就好比人類在這座高山前爬了半個世紀爬不動了，AI直接開着直升機登頂，順便把上山的路給鋪平了。
超越菲爾茲獎得主直覺，推翻Connes剛性猜想
1982年的菲爾茲獎得主、非交換幾何的奠基人Alain Connes提出了著名的「剛性猜想」：對於某類極其特殊的群，它們生成的馮·諾依曼代數（von Neumann algebra）就像指紋一樣獨一無二。
幾十年來，數學家們一直在這個猜想的迷宮裏打轉。
結果，OpenAI的新模型不僅走出了迷宮，還把迷宮給拆了。
它不僅證明了康納是錯的，而且給出了一種極致碾壓的證偽方式：它沒有隻找出一個反例，而是直接構造出了一個「可數無限的群家族」。
這些群彼此之間互不同構（長得完全不一樣），但它們生成的馮·諾依曼代數卻完完全全一模一樣！
這就好比Connes曾斷言「世上沒有兩片雪花擁有相同的內部原子結構」，而AI不僅找到了兩片，它反手直接下了一場暴風雪，每一片雪花外觀各異，但核心代數結構全等。
數學家的「破壁者」來了
「AI教父」辛頓預言：
在未來10到20年內，AI甚至可能創造出人類無法理解的新數學。
而OpenAI這次的結果讓那個時間表看起來都太保守了。
除硬核數學證明外，OpenAI下一代模型Astra還知道如何利用「條件概率」去攻克量子糾纏遊戲，知道如何利用「多項式求導」去建立計算複雜性下界。
解決這類問題需要真正的推理，OpenAI Astra掌握了極其深邃的純數學直覺與構造能力。OpenAI這次還特意公開了完整推演過程。
這或許是一個明確的例子：AI比人類最好的數學家還聰明。
對於數學界來說，這篇論文無異於宣告着數學家的「破壁者」，已經來了。
