OpenAI 以一篇研究論文形式曝光下一代模型家族 Astra，主打「解出 10 題長年懸而未決的數學難題」，同一時間，中國開源權重陣營則持續蠶食全球 AI 流量。
重點摘要
- OpenAI 在 8 月 1 日的研究貼文中首度揭露 Astra，聲稱解決 10 題至少懸置十年的開放數學問題。
- 該模型尚未公布上線時間，也沒有最後定名，且必須通過新的聯邦審查機制才能提供給使用者。
- 中國開源權重模型如今已拿下多數導流代幣，但實際付費支出仍幾乎全落在美國實驗室手上。
Astra 解出 10 題懸而未決數學題
OpenAI 在一篇聚焦數學研究、而非產品發布的貼文中，首次提到 Astra 這個名字。
內部版本的 Astra 在數學與理論電腦科學領域上，給出了 10 個問題的新解答，這些問題至少已懸而未決超過十年。
公司並在 GitHub 上釋出一份 249 頁的論文手稿，以及可由 Lean 4 自動驗證的形式化證明檔，並採開放授權。
最受矚目的成果，是首次給出「非 sofic 群」（non-sofic group）的明確構造，這是群論中自 1999 年以來始終未解的難題。研究團隊估算，若以現行旗艦模型 Sol 的 API 價格計算，支撐這 10 題解答所消耗的代幣成本約為 2,000 美元。
延伸閱讀：OpenAI 飛網紅到農場度假村卻踢到鐵板 粉絲線上強烈反彈
數學界審視 Astra 的證明主張
曼徹斯特大學、負責維護 Erdos 問題公開資料庫的數學家 Thomas Bloom 表示，這次成果在數學界是「大新聞」，評價甚至高於 OpenAI 今年 5 月公布的幾何研究結果。
Bloom 不認同「機器正在取代數學家」的說法，並強調系統本身是建立在超過一個世紀的數學文獻之上。OpenAI 研究員 Noam Brown 則透露，團隊也嘗試攻克其他著名難題，但多數未果。這次並未觸及任何千禧年獎難題，不過他指出，每次嘗試耗費的運算量其實不高，認為這是「邁向科學推理的一大步」。
OpenAI 執行長 Sam Altman 上週在華府為國會議員預覽了這套系統。Astra 預料將成為首批在新聯邦審查框架下受檢的模型。公司尚未決定上市時程，也還沒拍板究竟會以 GPT-6 身分推出，還是作為 GPT-5 的新變體。
中國開源權重重塑代幣需求版圖
時間點顯得格外關鍵，因為開源權重陣營已不再等待美國實驗室劃定技術邊界。**輝達（Nvidia）**執行長 黃仁勳（Jensen Huang） 上月號召多家美國科技巨頭挺開源權重，而 Anthropic 執行長 Dario Amodei 則主張應強制安全測試並收緊晶片出口管制。
中國新創 Moonshot AI 7 月推出 Kimi K3，宣稱擁有 2.8 兆參數並開放權重，被定位為迄今規模最大的開源模型。
開放式路由平台 OpenRouter 的數據顯示，導向美國模型的代幣占比，從 2025 年 6 月約 70%，在一年後跌至約 30%。然而，在某大型企業級閘道中，美國實驗室在 6 月仍囊括近 95% 的實際支出。這種「流量被瓜分、收入仍集中」的落差，正是 Astra 必須守住的防線。