OpenAI 把下一代大模型家族的首次亮相，放在了一篇数学论文里：这款代号为 Astra 的模型，通过解出 10 道数学难题 登场，而此时，中国开源权重对手 正在飞速抢走全球 AI 流量份额。
要点速览
- 8 月 1 日，OpenAI 在一篇研究论文中披露 Astra，声称解出了 10 道至少悬而未决十年的数学问题。
- 该模型尚无发布日期、最终命名未定，并且在面向用户前必须通过一套新的联邦审查流程。
- 中国开源权重模型目前已拿下路由 Token 的多数份额，但美国实验室依然包揽了几乎全部相关支出。
Astra 攻下 10 道悬而未决数学难题
与常见的产品发布会不同，OpenAI 是在一篇关于数学的研究文章中“顺带”为新模型命名为 Astra，而非通过商业化发布。
内部版本的 Astra 在数学与理论计算机科学领域拿下了 10 道开放问题，这些问题无一例外都至少困扰学界十年以上。
OpenAI 已在 GitHub 上发布 249 页的技术手稿，并附上可由 Lean 4 自动校验的形式化证明证书，采用开放许可。
最引人关注的成果，是首次给出了一个“非 sofic 群”的显式构造——这是群论中的一个核心悬案，自 1999 年以来一直未被攻克。研究人员估算，如果按公司当前旗舰模型 Sol 的 API 标价计费，支撑全部 10 个解答所消耗的 Token 成本大约在 2000 美元左右。
延伸阅读：OpenAI 飞往乡村度假村“招待”网红，却遭粉丝强烈反弹
数学界评估 Astra 的“证明能力”
曼彻斯特大学、维护公开 Erdos 问题数据库的数学家 Thomas Bloom 认为，这项工作是“大新闻”，其重要性高于 OpenAI 今年 5 月公布的几何成果。
他并不认同“机器正在取代数学家”的说法，强调 Astra 的训练语料本身就来自上百年的人类数学论文。OpenAI 研究员 Noam Brown 则表示，团队也尝试冲击过数个著名难题但未能成功。千禧年难题一个都没被攻克，不过他强调，每次尝试的算力投入其实并不大，而整体过程是推动科学推理的重要一步。
OpenAI 首席执行官 Sam Altman 已在上周向华盛顿立法者预演了 Astra，按计划它将成为首批接受新联邦监管框架评估的模型之一。公司尚未确定发布时间，也未决定是以 GPT‑6 之名发布，还是作为 GPT‑5 体系的另一条分支。
中国开源权重重塑 Token 流向
时间点十分关键，因为“开源权重”阵营已经不再等待美国实验室定义技术前沿。
上月，英伟达 CEO 黄仁勋 公开为开源权重站台，拉拢多家美国科技巨头加入；与之相对，Anthropic CEO Dario Amodei 则呼吁对高性能芯片实施更严格的出口管制，并要求对模型安全进行强制测试。
中国创业公司 月之暗面（Moonshot AI） 在 7 月推出了参数规模高达 2.8 万亿的 Kimi K3，并全面开放模型权重，被定位为迄今规模最大的开源大模型之一。
在多模型路由平台 OpenRouter 上，流向美国模型的 Token 占比从 2025 年 6 月的大约 70%，滑落到一年后的约 30%。不过，在某大型企业级网关上，6 月美国实验室仍拿走接近 95% 的付费支出——而这部分高价值营收，正是 Astra 必须守住的“护城河”。
