OpenAI Astra 是什么？艾斯特拉（阿斯特拉）已公开能力与传闻核对
OpenAI Astra 是 OpenAI 内部测试的下一代模型版本，已用于数学研究与安全评估；它尚未公开发布，也未被官方命名为 GPT-6。
资料整理：GetPlus AI 编辑部｜核对方法：以 OpenAI 一手公告为主，并单独标注未公布信息与社区推测。
先看证据等级
内部下一代模型版本
OpenAI 在研究文章中把 Astra 称为其“下一款主要模型”的内部版本，并公开了十项研究结果。
正式名称、发布日期与使用入口
OpenAI 尚未公布 Astra 的产品名称、发布时间、价格、上下文长度，也没有宣布 ChatGPT 或 API 入口。
“Astra 就是 GPT-6”
X 等社区常把 Astra 与 GPT-6 联系起来，但截至本页核对日期，这仍是推测，不是 OpenAI 的正式命名。
Definition
OpenAI Astra 是什么？
“Astra”目前不是 OpenAI 面向公众销售的产品名。OpenAI 在 2026 年 8 月 1 日发布的研究文章中，称它是“我们下一款主要模型的内部版本”。这句话确认了 Astra 的内部定位，却没有公布最终产品名、参数规模或发布计划。
中文社区常把 Astra 音译为“艾斯特拉”或“阿斯特拉”。两种写法指向同一英文代号；搜索时最好同时保留 “OpenAI Astra”，避免和其他公司的同名项目混淆。上述定义来自OpenAI 数学研究文章。
Disambiguation
OpenAI Astra 与 Google Project Astra 有什么区别？
OpenAI Astra
OpenAI 内部下一代模型版本；当前公开材料聚焦数学研究、代理式编码、网络安全能力与安全评估。
Google Project Astra
Google DeepMind 的通用 AI 助手研究原型，重点是实时、多模态地理解用户周围环境。它与 OpenAI Astra 不是同一项目。详见Google DeepMind 官方介绍。
Published research
OpenAI 公布的十项数学与理论计算机科学成果
OpenAI 将以下十项结果列为 Astra 辅助完成的研究进展。这里按官方摘要做中文压缩，不把“官方发布”扩大解释为 “整个学界已经形成独立共识”。完整论述和论文入口以OpenAI 原始清单为准。
- 01
高维球体堆积
High-dimensional sphere packing
官方发布·独立同行评议状态未确认OpenAI 称该结果给出新的上界，并把结果推进到 Cohn–Elkies 线性规划界的指数阈值。
- 02
二元码与球面码
Binary and spherical codes
官方发布·独立同行评议状态未确认OpenAI 称该结果在若干参数区间取得指数级改进的上界，推进编码理论中的长期问题。
- 03
非 sofic 群
Non-sofic groups
官方发布·独立同行评议状态未确认OpenAI 称该结果给出构造并由此确立非 sofic 群的存在性，回应群论中的开放问题。
- 04
Connes 刚性猜想
Connes’s rigidity conjecture
官方发布·独立同行评议状态未确认OpenAI 称该结果构造了反例，否定与算子代数有关的 Connes 刚性猜想。
- 05
算术电路复杂度
Arithmetic circuit complexity
官方发布·独立同行评议状态未确认OpenAI 称该结果建立新的公式下界，其公布摘要给出约 n⁴/log n 的量级。
- 06
- 07
- 08
Ehrhart 体积猜想
Ehrhart’s volume conjecture
官方发布·独立同行评议状态未确认OpenAI 称该结果确定了各维度中满足相关条件的凸体所能达到的最大体积。
- 09
多色 Ramsey 数
Multicolor Ramsey numbers
官方发布·独立同行评议状态未确认OpenAI 称该结果得到超指数下界，并解决了其文章所列的 Erdős 问题 183。
- 10
极值数猜想
Extremal number conjectures
官方发布·独立同行评议状态未确认OpenAI 称该结果利用紧致性与退化度方法，解决了其文章所列的 Erdős 问题 146 和 180。
Research workflow
Astra 如何从生成论证走到 Lean 形式化？
OpenAI 描述的是一条有人类研究者参与的三段流程，不是模型一次输出就自动成为论文。
- 01
模型生成论证
Astra 先探索问题并生成数学论证或证明思路。
- 02
人类整理稿件
研究者检查、改写并把结果组织成可审阅的论文稿件。
- 03
Lean 形式化
再由同一模型把每项结果形式化到 Lean 中，供证明检查器验证。
Safety evaluation
Astra 的网络安全能力与防护措施
OpenAI 在 2026 年 8 月 7 日表示，内部评估显示 Astra 的代理式编码和网络安全能力有显著提升，并且不能排除其达到 Preparedness Framework 中“Critical”能力阈值的可能。 这句话是风险判断，不等于官方已经认定模型达到该等级。
OpenAI 同时宣布提高访问控制和监测要求，并暂停不满足更强防护标准的内部活动。能力评估见网络安全公告，风险框架见Preparedness Framework。
Rumor check
Astra 是 GPT-6 吗？什么时候发布、现在能用吗？
是不是 GPT-6？
OpenAI 尚未确认 Astra 就是 GPT-6。“下一款主要模型”描述的是内部定位，不是正式产品命名。
什么时候发布？
官方尚未公布发布日期、候补名单或价格；X 上流传的时间表不属于官方确认。
现在能用吗？
截至最后核对日期，Astra 尚未向 ChatGPT 或 API 用户公开开放，也没有公开模型 ID。
FAQ
OpenAI Astra 常见问题
Astra 公开后会替代现有 ChatGPT 模型吗？
Astra 公开后会替代现有 ChatGPT 模型吗？
OpenAI 尚未公布 Astra 的产品路线图，也没有说它会替代哪个 ChatGPT 模型。内部“下一款主要模型”的定位不能直接外推为产品替代计划。
OpenAI Astra 中文叫什么？
OpenAI Astra 中文叫什么？
中文社区常见“艾斯特拉”和“阿斯特拉”两种音译，它们都指向 OpenAI Astra，但 OpenAI 尚未公布正式中文名称。
Astra 网络安全评估中的“Critical”门槛是什么意思？
Astra 网络安全评估中的“Critical”门槛是什么意思？
这是 OpenAI Preparedness Framework 中用于判断高风险能力和加强防护要求的门槛。OpenAI 对 Astra 的表述是“不能排除达到”，而不是已正式确认它达到该等级。
能否通过论文或 Lean 证书直接使用 Astra？
能否通过论文或 Lean 证书直接使用 Astra？
不能。论文、推理说明和 Lean 证书是公开研究产物，用来查看与核对结果，并不是 Astra 的聊天界面、API 或模型下载入口。
Astra 的十项研究结果能当作普通 ChatGPT 的性能基准吗？
Astra 的十项研究结果能当作普通 ChatGPT 的性能基准吗？
不能直接当作通用性能基准。这些材料针对一组数学与理论计算机科学开放问题，没有提供普通对话、写作或编程任务的标准化对照，也没有公布其他公开模型在同一测试下的分数。
References
官方来源与核验记录
本页于 2026-08-18 核对。若 OpenAI 后续公布正式名称、发布日期、系统卡或使用入口，应以新的一手公告更新本文结论。 如发现来源变更或事实错误，可通过联系页面提交更正线索。
首次核对与发布
根据 OpenAI 数学研究、网络安全与 Preparedness Framework 一手材料建立事实边界。
OpenAI
Astra 名称、研究流程和十项成果的一手依据
OpenAI
内部网络安全评估与加强防护措施的一手依据
OpenAI
能力风险分级和安全部署框架的背景依据
Google DeepMind
用于辨别同名的 Google 通用 AI 助手项目