OpenAI Astra 是什么？数学成果、Critical 网络安全评估与 ChatGPT 上线边界

本文目录正在整理章节

事实核验日期：2026 年 8 月 10 日。本文把 OpenAI 8 月 1 日的数学研究发布与 8 月 7 日的网络安全能力公告分开核验。Astra 仍是尚未公开的 upcoming model；套餐、地区、价格、ChatGPT/API 上线和正式产品名以后都可能变化，请以 OpenAI 后续模型页、系统卡、Release Notes 与 API 文档为准。

先说结论：OpenAI 已披露 Astra 参与产出十项数学与理论计算机科学结果，并在新的内部初评后表示，无法排除它达到 Preparedness Framework 的 Critical 网络安全能力门槛。这不等于 OpenAI 已最终确认 Astra 达到 Critical，也不等于 Astra 已正式命名为 GPT-6、暂停全部开发、攻击过 Hugging Face，或即将进入 ChatGPT。当前最重要的不是猜发布日期，而是把“研究能力、安全评估、产品可用性”三件事分开。

2026 年 8 月 7 日，Astra 网络安全评估新增了什么？

OpenAI 在 8 月 7 日的官方安全公告中称，过去几天对 Astra 的内部评估显示其代理式编程和网络安全能力明显进步。结合专家评估后，OpenAI 的结论是：目前无法排除 Astra 达到其 Preparedness Framework 所定义的 Critical 网络安全能力门槛。

“无法排除”是一个重要限定词。它表示已有证据足以触发更严格的测试和控制，但公开材料还没有给出最终能力报告、完整评测结果或正式系统卡。把这句话直接改写成“Astra 已被确认为最高危模型”会把初步评估写得过满。

公开表述	可以确认	不能据此确认
cannot rule out Critical capability	OpenAI 正按可能达到 Critical 的标准加强测试与控制	Astra 已完成最终 Critical 分级
upcoming model	Astra 仍是尚未公开的模型	它正式叫 GPT-6，或已确定进入 ChatGPT/API
暂停不符合强化控制要求的内部活动	不满足新安全要求的活动会停下	所有训练、研究和开发已经全面暂停
Astra 未参与 Hugging Face 事件	两件事不能合并成同一事故	Astra 曾逃逸沙箱或攻击 Hugging Face
扩大政府与外部安全测试	OpenAI 将引入更多外部测试与协作	已有公开发布日期或固定审查周期

Critical 网络安全能力到底是什么意思？

在 OpenAI 的 Preparedness Framework 中，High 与 Critical 不是媒体使用的形容词，也不是 CVSS 漏洞严重度，而是连接模型能力评估与安全措施的门槛。官方对 Critical 网络安全能力给出的核心判断包括：

模型能在没有人类介入的情况下，在许多经过强化的真实关键系统中识别并开发各严重级别的可用零日漏洞；或者
只给一个高层目标，模型就能设计并执行针对强化目标的端到端新型网络攻击策略。

这描述的是模型可能完成的能力上限，不是说 Astra 已经在真实世界执行了这些攻击，也不是说普通 ChatGPT 用户获得了这类权限。

“无法排除 Critical”不等于最终分级

OpenAI 8 月 7 日称评估仍在继续，公开的是预防性判断而非完整系统卡。更准确的说法是“OpenAI 正按可能达到 Critical 的模型来加固开发环境”，而不是“Astra 已被最终认证为 Critical”。如果后续出现正式 Capabilities Report、Safeguards Report 或 Astra 系统卡，应以新文件更新本文。

Astra 与 GPT-5.6 的 High 有什么区别？

GPT-5.6 System Card把 Sol、Terra、Luna 评为 High 网络安全能力，但明确说它们没有达到 Critical。官方解释称，GPT-5.6 Sol 和 Terra 能找到漏洞及部分利用链，却未能在评测中对强化目标完成自主、端到端攻击。

比较项	GPT-5.6	Astra（截至 2026-08-10）
产品状态	已在 ChatGPT、Codex 与 API 等公开产品中提供，具体范围以当前文档为准	upcoming model，未公开产品入口
网络安全能力表述	官方最终系统卡评为 High、未达 Critical	内部初评后无法排除 Critical，仍在继续评估
公开材料	有完整系统卡、能力与保障说明	目前只有安全公告与此前研究材料，没有正式模型卡、价格或 API 标识符

如果你要查看当前真正可用的模型、API 价格与产品范围，可阅读本站的GPT-5.6 Sol、Terra、Luna 对比。不要把 Astra 的内部评估提前写成消费者升级指南。

OpenAI 为 Astra 增加了哪些安全措施？

OpenAI 公布的是开发与测试侧的控制，不是面向普通用户的开关。当前列出的动作包括：

使用隔离测试环境，限制网络和工具访问；
加强模型权重保护、加密、监控和检测能力；
对 Astra 的代理式应用实施通用风险监控，发现高风险行为时触发审查与中断；
暂停不满足这些强化控制要求的内部活动；
邀请相关政府机构和部分 AI 安全组织参与测试；
向第三方测试伙伴提供更高风险评测的安全控制建议。

根据OpenAI 的框架说明，High 系统需要在部署前把严重风险充分降低；Critical 系统还要求在开发阶段就采用足够的保障。内部安全团队会审查证据并向公司领导层提出继续评估、加强保护或允许部署等建议。这个流程不能被简化为“达到 Critical 就永久不能发布”，也不能被简化为“加一个内容过滤器就能照常上线”。

OpenAI 8 月 1 日发布了哪些数学成果？

在安全公告之前，OpenAI 已于 8 月 1 日通过官方发布页公布十项数学与理论计算机科学结果。官方称这些问题至少十年没有在主要结论上取得进展，涉及高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码和极值组合等方向，并同步公开三组材料：

一份 249 页的完整论文合集；
一份 62 页的思路形成过程说明；
包含十项结果的 Lean 4 形式化仓库。

OpenAI 对产出过程的描述是：Astra 生成数学论证，人类与同一模型把论证整理成论文，随后由模型将每项论证形式化为 Lean 证书。这个流程不是“普通用户在 ChatGPT 里输入一句提示词，立即得到十篇已通过同行评审的论文”。

十项结果分别是什么？

下表只转述 OpenAI 在发布页与论文摘要中的结论，不代表本站已经完成独立数学验证。

序号	方向	OpenAI 公布的结果摘要
1	高维球堆积	改进球堆积密度的渐近上界，达到 Cohn–Elkies 阈值。
2	二元码与球面码	在给定最小距离下，对码的最大规模给出指数级改进的上界。
3	非 sofic 群	构造一个显式非 sofic 群，回答群论中的一个长期开放问题。
4	Connes 刚性猜想	构造反例，否定特定群由其群 von Neumann 代数唯一决定的猜想。
5	算术电路复杂性	给出计算 permanent 的新下界，包括约为 n⁴/log n 的算术公式下界。
6	量子平行重复	为一般有限双人量子博弈给出指数平行重复定理。
7	最近向量问题	给出多项式因子的近似困难性结果，并涉及格问题与后量子密码背景。
8	Ehrhart 体积猜想	确定各维度下特定凸体可达到的最大体积。
9	多色 Ramsey 数	给出多色三角 Ramsey 数的超指数下界，并称解决 Erdős 问题 183。
10	极值图论	给出紧致性与退化猜想相关结果，并称解决 Erdős 问题 146 和 180。

这些项目并非同一种“解题”：有的是新上界或下界，有的是构造，有的是反例，还有的是复杂性困难性证明。因此，把它们统一写成“Astra 解出了十道世界难题”会丢失重要事实边界。

Astra 是什么？它等于 GPT-6 吗？

截至 2026 年 8 月 10 日，最稳妥的产品表述仍是：Astra 是 OpenAI 的 upcoming model，也是数学发布中所称“下一代主要模型”的内部版本。8 月 7 日安全公告增加了代理式编程和网络安全能力信息，但仍没有给出模型卡、参数规模、正式产品名、训练方法、发布日期、价格或地区可用性。

问题	当前可确认的事实
Astra 是 GPT-6 吗？	不能确认。OpenAI 的两次发布均没有把 Astra 正式命名为 GPT-6。
Astra 已经替代 GPT-5.6 吗？	没有。GPT-5.6 仍有独立产品文档、系统卡和公开入口。
ChatGPT 用户能选 Astra 吗？	官方没有宣布 ChatGPT 可用，也没有公布适用套餐、额度或地区。
开发者能通过 API 调用吗？	官方没有公布 Astra API、模型标识符或价格。
Astra 已确定延期吗？	Axios 报道称 OpenAI 放慢开发并可能影响发布，但官方没有公布原定日期或新的确定日期。
Astra 参与了 Hugging Face 事件吗？	没有。OpenAI 8 月 7 日明确表示 Astra 未参与。事件边界可参考本站的GPT-5.6 Sol 与 Hugging Face 安全事件说明。

十项成果现在算“被证明”了吗？

答案要分三层看：

公司发布层：OpenAI 已公开论文、推理说明和代码，并明确表示由其承担正确性责任。
机器核验层：官方仓库提供 Lean 4 证书，技术读者可以重新构建，检查形式化命题在指定环境中是否通过。
学术共同体层：不同领域的专家还需要检查自然语言问题与形式化命题是否准确对应、假设是否合理、结论是否真正新颖，以及论文叙述是否完整。

因此，比较准确的表述是“OpenAI 公布了十项结果并开放了可检查材料”，而不是“数学界已经一致确认十项重大难题全部解决”。在独立专家逐项形成稳定意见之前，报道应持续使用“OpenAI 称”“官方论文给出”等归属语。

Lean 证书能验证什么，不能验证什么？

Lean 是形式化证明系统。研究者先把定义、假设、定理与推理步骤写成机器可读形式，Lean 的内核再检查结论是否能由这些前提推出。OpenAI 的仓库使用 Lean 4.32.0、mathlib 和 Lake，并给出了构建全部十项形式化结果的命令。

git clone https://github.com/openai/ten-proofs.git
cd ten-proofs
lake exe cache get
lake build All

构建通过可以说明仓库中的形式化证明在锁定的工具链和依赖下被 Lean 接受，但不能自动回答所有学术问题：

自然语言论文中的命题，是否与 Lean 中编码的命题完全一致；
定义、导入库和额外假设，是否准确反映原开放问题；
结果是否首次出现、学术价值有多大、是否遗漏关键先行工作；
论文是否有足够清晰的解释，能让所属领域专家理解并复用。

形式化核验显著提高了可检查性，但它不是同行评审、文献查新和领域判断的替代品。网络安全评估也同样如此：内部 benchmark 与专家判断是重要证据，却仍需要正式报告和外部复核。

“大约 2000 美元”到底指什么？

OpenAI 的原文是：寻找这些解答所需的总 token 数，如果按 Sol API 费率折算，大约为 2000 美元。这是一个token 成本折算，不是 Astra 的公开价格，也不是整个研究项目的总成本。

官方页面没有据此披露人力、模型训练、基础设施、选题筛选、失败尝试、论文整理或形式化复核的完整成本。因此，不应把这句话写成“2000 美元就能复现十项成果”，也不能由此推断 Astra 的订阅价格。

普通读者怎样自己核验？

先分日期与来源：8 月 1 日是数学成果发布，8 月 7 日是网络安全初评；不要只看把两者拼在一起的社交媒体截图。
对照官方限定词：检查原文是否为 upcoming、cannot rule out、preliminary evaluations，而不是二手标题中的“已确认 GPT-6”或“最高危”。
对照论文摘要：检查十项结果究竟是上界、下界、构造、反例还是困难性证明。
查看对应 Lean 文件：有技术条件时锁定版本重新构建，并核对自然语言命题与形式化定理。
等待正式材料：关注 Astra 系统卡、Capabilities Report、Safeguards Report、ChatGPT Release Notes 与 API 模型列表，而不是用传闻补齐空白。
关注独立复核：跟踪论文版本、仓库提交、勘误，以及数学和网络安全领域专家的公开评议。

对研究人员，OpenAI 另有面向学术团队的访问计划；资格、团队人数和“无 API credits”等边界可参考本站的ChatGPT 学术研究者计划申请指南。

这件事对 ChatGPT 和 Codex 用户意味着什么？

短期内，它仍不是一个可以马上操作的新功能。普通用户不需要为 Astra 修改套餐，也没有官方开通入口。8 月 7 日公告描述的是 OpenAI 内部模型的开发、测试和安全控制，不是为现有 ChatGPT 或 Codex 账号新增网络安全权限。

真正可执行的结论有三条：

继续按当前 ChatGPT 模型选择器、Codex 文档和 API 模型列表使用已发布产品；
对具备工具权限的代理任务保持最小权限、隔离环境、变更审查和备份，不因新模型更强就取消人工确认；
看到“GPT-6/Astra 已上线”“付费可抢先使用”或“Astra 曾攻击某公司”时，先要求对方提供对应的 OpenAI 产品页或系统卡。

如果你正在使用当前 Codex，可先落实本站的Codex 文件删除与高风险命令安全检查。这比猜测尚未公开的 Astra 权限更有现实价值。

常见问题

OpenAI 已确认 Astra 达到 Critical 网络安全能力了吗？

没有。官方表述是内部初步评估后“无法排除”达到 Critical，评估仍在继续。应写成预防性安全判断，不应写成最终模型分级。

OpenAI 已暂停 Astra 的全部开发或训练吗？

没有这项公告。OpenAI 说的是暂停不满足强化安全控制要求的内部活动，同时继续加固环境、监控和外部测试。不能把范围扩大成“全部研发停止”。

Astra 或 GPT-6 已确定延期到某一天吗？

没有可核验的官方日期。Axios 报道称开发节奏放慢、未来发布可能受到影响，但 OpenAI 没有公布原定发布日期，也没有给出新的确定日期。任何精确到日的“GPT-6 延期时间”目前都属于无官方依据的推断。

Astra 参与了 Hugging Face 安全事件吗？

没有。OpenAI 在 8 月 7 日公告中明确表示 Astra 未参与该事件。不能因为两条新闻都涉及 OpenAI 内部模型和网络安全，就把模型身份与事件时间线合并。

Astra 是 OpenAI 正式发布的 GPT-6 吗？

不是可以确认的事实。OpenAI 把 Astra 称为 upcoming model 和下一代主要模型，但没有在这两次发布中使用 GPT-6 作为正式产品名。

现在可以在 ChatGPT 或 API 中使用 Astra 吗？

截至 2026 年 8 月 10 日，没有官方入口。OpenAI 没有公布 ChatGPT 或 API 上线、套餐资格、额度、价格、地区和模型标识符。

国内如何开通 ChatGPT Plus？开通后能提前使用 Astra 吗？

开通 ChatGPT Plus 不能提前获得 Astra。Plus 只包含 OpenAI 已向该账号、套餐和地区正式开放的模型与功能。需要核对官方网页、应用商店和常见付款问题，可阅读本站的国内如何开通 ChatGPT Plus 完整教程。不要为了尚未公开的 Astra 购买 Plus，也不要相信“付费即可获得内测资格”的无来源承诺。

Astra 真的解决了十个世界级数学难题吗？

OpenAI 公布了十项长期开放问题相关结果，但类型并不相同，且独立学术评议仍需逐项进行。当前应转述为“OpenAI 公布并承担正确性责任”，不应替数学界提前宣布形成共识。

有 Lean 证书就代表百分之百没有问题吗？

Lean 能严格检查形式化命题在给定定义、假设和依赖下是否成立，这是很强的证据；但仍需核对形式化命题与原自然语言问题是否一致，并完成新颖性、意义和文献背景的专家审查。

2000 美元是训练 Astra 或完成整个项目的成本吗？

不是。它只是 OpenAI 按 Sol API 费率对寻找解答所需 token 的折算，不能代表训练成本、总项目成本或未来售价。

总结

截至 2026 年 8 月 10 日，可以确认的是：OpenAI 公布了 Astra 参与产出的十项数学与理论计算机科学结果，并因新的内部评估而按“无法排除 Critical 网络安全能力”的标准加强开发与测试控制。不能确认的是：Astra 已完成最终 Critical 分级、正式叫 GPT-6、暂停全部开发、参与过 Hugging Face 事件，或将在某个确定日期进入 ChatGPT/API。理解这些边界，比追逐一个尚未公开的模型入口更重要。