OpenAI新模型Astra攻克10項菲爾茲獎級數學難題
0xBroomberg
OpenAI發布249頁論文，披露其未發布模型Astra在10項長期懸而未決的數學難題上取得重大突破，總計算成本不足2000美元——這意味著AI正以研究生週末津貼的價格，撬動數十年未解的純數學前沿。
這十項突破到底有多硬？
Astra攻克的難題橫跨高維幾何、編碼理論、群論（研究對稱性的數學分支）、算子代數、量子複雜度等至少七個子領域。
據Epoch AI旗下OpenMath評分，大部分成果被評為「重大進步」，其中一項直接評為「突破」，有望成為全年數學領域最佳成果之一。
這意味著→ 這不是在一個方向上深挖，而是同時在多個互不相關的數學前沿推進——覆蓋面本身就是信號。
27年無人能解的題，AI怎麼做到的？
十項成果中最受關注的：Astra構造出了首個非sofic群，否定了阿貝爾獎得主格羅莫夫1999年提出的猜想——此後27年間頂尖數學家均未能構造反例。
簡單來說＝ 格羅莫夫當年猜「所有可數群都是sofic（一種可用有限對稱結構逼近的群）」，全世界試了27年找不到反例；Astra直接造了一個出來。
Astra的方法路徑：從數學代碼庫提取二元利維特代數的單位群，結合孔-托姆擴展圖理論與湯普森群V，給出完整證明，並通過Lean 4（一種形式化證明語言）完成機器可獨立檢驗的驗證。
加州理工數學博士將此定性為「菲爾茲獎級別的成果」；數學家格拉澤稱其為「迄今最重要的AI輔助數學成果」。
46年紋絲不動的邊界，被推了多遠？
高維球體堆積問題（在高維空間裡把球盡可能密地擺放）：自1978年兩位蘇聯數學家給出極限後，整整46年全球無人推進哪怕小數點後幾位。
Astra不僅給出全新證明，還精確算出了科恩-埃爾基斯線性規劃的指數衰減率，首次突破1978年邊界。
這意味著→ 不是改良舊方法擠出微小進展，而是找到了一條全新路徑打破長期僵局。
菲爾茲獎得主的猜想也被推翻了？
1982年菲爾茲獎得主孔納提出「剛性猜想」：認為某類特殊群生成的馮·諾依曼代數（一種描述量子力學算子的數學結構）如同指紋般獨一無二。
Astra不僅證明該猜想為假，還直接構造出一個可數無限的群家族——這些群彼此互不同構，但生成的馮·諾依曼代數完全相同。
簡單來說＝ 孔納以為每個群的「指紋」不可能重複，Astra造出了無數個「指紋一模一樣但本人完全不同」的群，以極致方式完成了證偽。
200美元一道題，這個成本意味著甚麼？
生成十項證明的總成本按Sol API價格計算不足2000美元，平均每項約200美元——相當於一名研究生一個週末的津貼。
這意味著→ 過去需要頂尖數學家耗費數年甚至數十年的問題，現在的邊際成本降到了一頓商務晚餐的價格。
OpenAI研究者諾姆·布朗表示，目前尚未攻克黎曼猜想等千禧年大獎難題，但測試算力遠未觸頂，百萬美元級別的世界性難題「也存在被攻克的可能性」。
這件事最該被留意的是甚麼？
這十項成果是OpenAI在評估Astra時意外獲得的「副產品」，並非專項攻關——模型本身尚未正式發布。
這反映出 當前前沿模型的數學推理能力可能已經遠超外界認知，只是尚未被系統性地釋放。
「AI教父」辛頓此前預言AI在未來十到二十年內可能創造出人類無法理解的新數學——這份249頁論文，或許正是這一預言的早期註腳。
Content is for reference only, not financial advice.