在和 Salesforce CEO Marc Benioff 的公开对谈中，OpenAI CEO 奥特曼（Sam Altman）透露了内部模型梯队：Astra 之后还有代号 Post-Astra（后 Astra）的下一代内部模型，声称它可以解决顶尖数学家都束手无策的难题；同时他给出了 GPT-5.5、GPT-5.6、Astra 的能力对标，这个消息在数学界和 AI 圈引发巨大震动。
模型梯队能力对照清单
- GPT-5.5：能力约等于普通数学教授，可以阅读前沿论文、推导复杂公式、批改高阶数学证明
- GPT-5.6：对标全球前 1%–2% 的顶尖数学教授，具备产出可发表原创数学成果的能力，足够拿到名校终身教职
- Astra（GPT-6 Astra）：已经攻克 FrontierMath Tier 4 全套难题，在群论、高维几何、组合猜想等菲尔兹奖级别的数学问题上取得突破，已经对外开放给部分用户
- Post-Astra（后 Astra）：Astra 之后的内部秘密版本，奥特曼表述为能够解决世界顶尖数学家都无法攻克的数学难题，能力超越人类顶尖数学家，目前没有对外开放、没有公开测评报告
Astra 与后 Astra 对比表
| 项目 | GPT-6 Astra | 后 Astra（Post-Astra） |
|---|---|---|
| 状态 | 正式发布，ChatGPT Plus/Pro/ 企业版可使用 | 内部研发版本，未发布、无公开访问入口 |
| 数学能力 | 攻破 Tier4 全套考题，产出多篇高水平数学证明 | 定位为解决人类顶尖数学家无法解决的难题 |
| 公开材料 | 官方博客、基准测试、案例论文 | 仅奥特曼口头透露，无官方白皮书、无 benchmark 数据 |
| 定位 | 科研、编程、通用前沿推理主力模型 | 下一代前沿探索模型，主攻极难的开放数学猜想 |
Astra 已经达成的关键成果
✅ 在 FrontierMath Tier 4 测评拿到 98%，触及该测评上限，这套题目由陶哲轩等数十位菲尔兹奖得主设计，此前 AI 正确率不足 2%
✅ 解决了包括非 sofic 群猜想在内的长期悬而未决的数学问题，产出的证明被学界评价为菲尔兹奖级别成果
✅ 在 ARC-AGI-3 取得 99.9% 高分，ExploitBench 漏洞测试满分，同时具备浏览器、软件自动化操作能力
后 Astra 消息带来的学界争议
奥特曼放出消息之后，以陶哲轩为首的 25 位菲尔兹奖联名发出公开信，表达担忧：AI 产出的证明篇幅、逻辑复杂度可能超出人类数学家的阅读和核验能力，未来数学研究的 “人类性” 会被削弱，研究者慢慢变成 AI 证明的校对者、翻译者。
也有学者提出，奥特曼的描述属于口头定性，缺少标准化、可复现的公开测试，“超越最强数学家” 这个说法目前无法被独立验证。
重要边界与风险说明
- 后 Astra 还只是内部项目：没有发布时间、定价、API 开放计划，甚至存在调整、搁置的可能性，一切仅为访谈口述信息，不是正式产品公告
- 区分两个概念：Astra 是已经上线的 GPT-6 Astra；后 Astra 是 Astra 之后的下一代模型，二者不要混淆
- 数学能力≠全能力碾压：这套模型的优势集中在形式化推理、数学证明，不等于所有科学、工程问题都强于人类顶尖专家
- 安全对齐是核心卡点：OpenAI 内部对这类超高推理能力模型有严格的对齐评估，这也是它迟迟不对外放出的主要原因
适合 / 不适合的预期
✅ 合理预期：AI 在形式化数学猜想、长链条逻辑证明上持续突破，成为数学家的强力协作工具
❌ 不合理预期：后 Astra 很快上线、随便公开使用、可以直接拿来破解所有数学千禧年大奖难题
【相关 FAQ】
问题 1：奥特曼在什么场合透露后 Astra 模型，后 Astra 和 Astra 是什么关系？
回答 1：奥特曼在和 Salesforce CEO Marc Benioff 的对谈中透露，后 Astra 也就是 Post-Astra，是 Astra 之后的下一代内部模型，定位比 Astra 更强。
问题 2：GPT-6 Astra 已经做到了什么数学水平？
回答 2：GPT-6 Astra 攻克 FrontierMath Tier4 全套难题，解决了多个搁置多年的数学猜想，产出的证明达到菲尔兹奖级别成果，已经面向付费用户开放。
问题 3：后 Astra 模型现在可以直接使用吗？
回答 3：不可以，后 Astra 属于内部研发版本，没有对外发布，没有开放 API，没有公开测评，仅有奥特曼口头透露信息。
问题 4：为什么陶哲轩等菲尔兹奖得主会对后 Astra 这类模型感到担忧？
回答 4：他们担心 AI 产出的证明过于复杂，人类难以完整理解核验，数学研究的主导者变成 AI，研究者退化为校对人员，削弱数学研究的人类属性。
问题 5：GPT-5.5、GPT-5.6、Astra、后 Astra 能力怎么排序？
回答 5：能力从低到高依次是 GPT-5.5、GPT-5.6、Astra、后 Astra；GPT-5.5 对标普通数学教授，后 Astra 宣称可以解决顶尖数学家无法攻克的难题。
【参考资料】
[2026-09-18] 36 氪：奥特曼自曝「后 Astra」模型，已超越全球最强数学家
[2026-09-04] OpenAI 官方 GPT-6 Astra 发布公告
[2026-09-17] 新浪新闻：奥特曼称模型能解顶尖难题，菲尔兹奖得主担忧失去数学人类性
[2026-09-14] 中华网：AI 正在疯狂收割数学难题
[2026-08-02] 新智元：OpenAI 下一代 AI 攻克 10 项菲尔兹奖级难题
【免责声明】
本文基于奥特曼公开访谈转述内容整理，后 Astra 属于未发布内部模型，能力描述仅为口头表述，没有独立第三方验证；模型能力、上线时间、开放范围均存在变更可能；AI 数学证明仍需要人类数学家核验，不代表结论天然正确；本文不构成投资、科研立项建议。