OpenAI 端出下一代主力模型家族 Astra，選擇用「解題」而非「發佈會」登場—— 透過一次公開 10 題數學難題解答示意火力， 同時間，中國開權重競爭對手正迅速瓜分全球 AI 流量與算力代幣占比。
重點整理
- OpenAI 於 8 月 1 日在研究貼文中揭露 Astra，聲稱解出 10 題懸而未決至少十年的數學與理論計算問題。
- 模型尚無正式名稱與上線時間表，且在面向一般用戶前，必須先通過新的聯邦審查機制。
- 中國開權重模型目前已拿下多數路由代幣占比，但金流方面，美國實驗室仍吃下近乎全部支出。
Astra 一口氣攻下 10 題開放數學難題
OpenAI 並未以產品發表會形式推出 Astra，而是選擇在一篇聚焦數學的研究文章中，低調「命名」這套下一代模型。
內部版本的 Astra 產出針對 10 題數學與理論電腦科學問題的全新結果，這些題目至少已懸置超過十年未解。
OpenAI 在 GitHub 上公開一份長達 249 頁的論文手稿，以及可由 Lean 4 自動驗證的機器可讀證明檔，並採開放授權。
其中最受矚目的，是首次給出「非 sofic 群」的顯式構造——這是群論中的核心問題，自 1999 年以來一直無人能解。研究人員估算，若以 OpenAI 目前旗艦模型 Sol 的 API 定價計算，產生這 10 題解答所消耗的代幣，成本約落在 2,000 美元左右。
延伸閱讀：OpenAI 飛網紅住農場度假村，粉絲社群強烈反彈
數學界審視 Astra 的證明主張
曼徹斯特大學、負責維護 Erdos 問題公開資料庫的數學家 Thomas Bloom 認為，這次成果是「大新聞」，重要性甚至高於 OpenAI 在 5 月公布的幾何相關結果。
他並不認同「機器要取代數學家」的說法，提醒 Astra 的能力是建立在超過一個世紀的數學文獻訓練之上。OpenAI 研究員 Noam Brown 則透露，團隊也嘗試挑戰數個更知名的難題，最後都以失敗收場；包含千禧年懸賞難題在內，沒有一題被拿下。不過他強調，每次嘗試動用的運算資源其實相對有限，而這次實驗仍是機器科學推理的一大躍進。
執行長 Sam Altman 上週已在華府率先向國會議員簡報 Astra 的能力。Astra 也預期將成為首批納入新聯邦 AI 審查框架的模型之一。公司尚未決定上市時間，也尚未拍板要將其歸類為 GPT-6，或僅作為 GPT-5 系列的高階變體。
中國開權重重新洗牌代幣需求版圖
時點之所以關鍵，在於「開權重陣營」已不再等待美國龍頭劃定技術邊界。Nvidia 執行長 黃仁勳 上月號召多家美國科技巨頭表態支持開放權重；與此同時，Anthropic 執行長 Dario Amodei 則呼籲強制安全測試，並對高階晶片實施更嚴格出口管制。
來自中國的 Moonshot AI 於 7 月推出 Kimi K3，參數規模達 2.8 兆並開放權重，被定位為迄今規模最大的開權重模型。
在聚合路由平台 OpenRouter 上，導向美國模型的代幣占比已從 2025 年 6 月約 70%，滑落至一年後的約 30%。然而，在某大型企業級 AI 閘道的 6 月帳單中，美國實驗室仍吃下近 95% 的實際支出，顯示「流量在分散、營收仍集中」。Astra 未來上線，正是被賦予守住這塊高毛利護城河的角色。
