OpenAI 以一篇研究貼文高調展示下一代模型家族 Astra 解出十條數學懸案， 之際，中國開源權重（open-weight）對手 持續搶佔全球 AI 流量與算力需求。
重點摘要：
- OpenAI 在 8 月 1 日透過一篇研究貼文首度披露 Astra，聲稱解決十條至少懸而未決十年的數學問題。
- 模型暫未有正式名稱、未定推出時間，且須先通過美國新設的聯邦審查框架才可面向用戶。
- 中國開源權重大模型現已取得多數路由 Token 份額，但企業實際支出仍幾乎全流向美國實驗室。
Astra 一口氣攻克 10 條開放數學難題
OpenAI 並非在產品發佈會上，而是在一篇聚焦數學研究、而非商業化的文章中，首次為新模型定名為 Astra。
內部版本的 Astra 在純數學及理論計算機科學領域上，給出十條問題的新解決方案， 而這些問題過去至少已懸而未決十年。
OpenAI 已公開 一份長達 249 頁的論文， 並在 GitHub 上釋出以 Lean 4 格式撰寫、可由機器校驗的證明檔案，採用開放授權。
其中最矚目結果，是首次構造出一個明確的 non‑sofic 群（非 sofic 群）， 解答自 1999 年懸而未決的群論問題。研究人員估算，如以公司現時旗艦模型 Sol 的 API 收費計算， 這十條題目背後所耗用的 Token 成本約為 2,000 美元。
延伸閱讀： OpenAI 飛專家網紅去農莊度假 粉絲猛烈反彈
數學界審視 Astra 證明：突破但未「取代人類」
曼徹斯特大學數學家 Thomas Bloom（負責維護公開的 Erdos 問題資料庫）形容， Astra 的成果屬「大新聞」，甚至比 OpenAI 在 5 月公布的幾何學突破更重要。
不過，他否定「機器取代數學家」的說法，強調相關系統本身便是以逾百年的人類數學文獻訓練而成。 OpenAI 研究員 Noam Brown 亦指團隊其實同時嘗試多條著名難題，但多數未獲突破； 當中沒有一條千禧年懸賞難題被攻破。不過他指出，每次嘗試所用算力其實並不龐大， 認為今次已是朝向自動化科學推理邁出關鍵一步。
Sam Altman 上周已在華盛頓向國會議員預覽 這套系統， 而 Astra 亦預料將成為首批納入美國最新聯邦審查框架的模型之一。 公司尚未決定何時推出，也未拍板會以 GPT‑6 之名面世，抑或作為 GPT‑5 的新變體。
中國開源權重衝擊 Token 需求版圖
Astra 的上市時間愈見關鍵，因為開源權重陣營已不再等待美國實驗室定義技術邊界。
Nvidia 行政總裁 黃仁勳 上月聯同多家美國科企巨頭公開為 open‑weight 模型站台， 與此同時，Anthropic 行政總裁 Dario Amodei 則呼籲對高階晶片實施更嚴格出口管制， 並強制要求高風險模型通過安全測試。
中國初創 Moonshot AI 7 月推出 Kimi K3，宣稱擁有 2.8 兆參數及開放權重， 是目前規模最大的 open‑weight 模型之一。
在推理路由平台 OpenRouter 上，被導向至美國模型的 Token 份額， 已由 2025 年 6 月約七成，下滑至一年後約三成。相關數據顯示， 雖然如此，美國實驗室在某大型企業級接入閘道上，於 6 月仍攬獲約 95% 實際支出， 收入差距依然懸殊，而 Astra 必須捍衛的正是這塊高利潤市場。