OpenAI 以一篇數學研究貼文，展示下一代核心模型系列 Astra 透過解出 10 條數學難題 的能力；同一時間，中國開源權重模型 快速瓜分全球 AI 流量。
要點速覽：
- OpenAI 8 月 1 日在研究貼文中首次披露 Astra，聲稱解決 10 條最少懸而未決十年的數學問題。
- 模型未有正式名稱、亦未有上線時間表，並須通過全新的聯邦審查機制才可面向用戶。
- 中國開源權重模型現已佔據路由 Token 多數份額，但美國實驗室仍攬走幾乎所有相關開支。
Astra 攻破 10 條懸而未決數學難題
OpenAI 在一篇關於數學的研究貼文中，低調為新模型命名為 Astra，而非透過傳統產品發布會。
內部版本的 Astra 在數學及理論計算機科學領域上交出新成果，一口氣解出 10 條至少懸空超過十年的難題。
OpenAI 在 GitHub 上公開 249 頁技術論文，並附上可由 Lean 4 機器驗證的證明憑證，授權條款屬開放式。
最矚目成果，是首次給出一個「非 sofic 群」的具體構造，解決了自 1999 年以來懸而未決的群論問題。研究人員估算，若以公司現時旗艦模型 Sol 的 API 收費計算，產生這 10 條解答所耗用的 Token 成本約為 2,000 美元。
數學界審視 Astra 的「證明能力」
曼徹斯特大學數學家、Erdos 問題公開資料庫維護人 Thomas Bloom 形容今次工作「分量十足」，重要性高於 OpenAI 今年 5 月公布的幾何學成果。
他否認「機器取代數學家」的說法，指出系統本身是建立在逾一個世紀的數學文獻之上。OpenAI 研究員 Noam Brown 則表示，團隊同時嘗試過多條經典難題，亦有失敗收場；雖然沒有一條千禧年大獎難題被攻破，但他強調每次嘗試所用算力相對有限，今次已是科學推理能力的一大躍進。
OpenAI 行政總裁 Sam Altman 上周已在華盛頓為國會議員預覽 系統，Astra 亦預計會成為首批納入新聯邦審查框架的模型。公司至今未定出公開時間，也未決定會否以 GPT-6 名義推出，還是作為 GPT-5 另一分支。
中國開源權重重塑 Token 流向
Astra 的上市時機備受關注，原因是開源權重陣營已不再等待美國實驗室劃定技術邊界。
Nvidia 行政總裁 黃仁勳 上月剛聯合多家美國科技巨頭表態支持開源權重；與此同時，Anthropic 行政總裁 Dario Amodei 則呼籲對高階晶片實施更嚴格出口管制，並強制進行安全測試。
中國的 Moonshot AI 7 月推出 Kimi K3，擁有 2.8 兆參數並開放權重，對外宣稱是目前規模最大的開源模型。
在 OpenRouter 平台上，導向美國模型的 Token 份額，由 2025 年 6 月約七成，一年後跌至約三成。相關數據顯示，流量正在明顯東移。不過，在某大型企業級閘道中，美國實驗室今年 6 月仍收取近 95% 支出。而這道收入鴻溝，正是 Astra 未來必須守住的防線。
