OpenAI 通过一篇解出 10 道数学难题的论文，低调“亮相”其下一代主力模型家族 Astra， 与此同时，中国开源权重竞争对手正快速抢走全球 AI 流量份额。
要点速览：
- 8 月 1 日，OpenAI 在一篇研究论文中披露 Astra，声称解决了 10 道至少悬而未决十年的难题。
- 模型尚无正式发布日期、最终命名也未确定，上线前还必须通过一套新的美国联邦审查机制。
- 中国开源权重模型目前已拿下路由 Token 的多数份额，但美国实验室仍几乎吃下全部付费支出。
Astra 解出 10 道悬而未决数学难题
这次，OpenAI 并未走常规的产品发布会路线，而是在一篇关于数学研究的论文中给新模型“命名”， 将 Astra 作为技术成果的“隐形主角”。
一版内部运行的 Astra，在数学和理论计算机科学领域产出了 10 项全新结果，对应的问题均已悬而未决至少十年。
OpenAI 随后公开了一份长达 249 页的论文手稿， 以及可由 Lean 4 自动验证的机器可读证明证书，全部以开放许可上传 GitHub。
其中最引人瞩目的，是首次给出一个“非 sofic 群”的显式构造—— 这一群论中的核心问题自 1999 年提出以来一直无解。研究者估算，若按公司当前旗舰模型 Sol 的 API 计费标准， 完成全部 10 道题所消耗的 Token 成本约为 2,000 美元。
延伸阅读：OpenAI 邀网红打卡乡村度假庄园，粉丝强烈反弹
数学界审视 Astra 的“机器证明”
曼彻斯特大学数学家、Erdos 难题公开数据库维护者 Thomas Bloom 评价称，这是“重大新闻”， 重要性甚至高于 OpenAI 今年 5 月宣布的那项几何学成果。
他否认“机器正在取代数学家”的说法，强调 Astra 的能力建立在吸收一个多世纪数学文献的基础上。 OpenAI 研究员 Noam Brown 则透露，团队也尝试攻克多道更知名的问题但以失败告终。 没有一项千禧年大奖难题被解决，但他认为，每一次尝试消耗的算力都相对有限， 整体而言是科学推理能力的“重要前进一步”。
上周，Sam Altman 已在华盛顿为立法者抢先演示了该系统。 Astra 预计将成为首批纳入美国新联邦审查框架的模型之一。 公司尚未确定具体发布日期，也没有决定这条产品线是以 GPT-6 之名推出，还是作为 GPT-5 的进一步变体。
中国开源权重重塑 Token 流向
Astra 的落地时间点格外敏感，因为“开源权重阵营”已经不再等待美国实验室划定技术前沿。
上月，英伟达 CEO 黄仁勋 拉拢多家美国科技巨头高调站队开源权重， 而 Anthropic CEO Dario Amodei 则呼吁强制安全测试，并进一步收紧高端芯片出口管控。
中国团队 Moonshot AI（月之暗面） 在 7 月发布 Kimi K3，参数规模高达 2.8 万亿，并开放模型权重， 被包装为目前“全球规模最大的开源模型”。
在聚合路由平台 OpenRouter 上，路由至美国模型的 Token 占比， 已从 2025 年 6 月的大约 70%，下滑到一年后约 30%。不过，在某大型企业级网关 6 月份的统计中， 美国实验室仍拿走了接近 95% 的实际付费金额，而 Astra 正是为了守住这块高价值收入高地。