# OpenAI 发布 GPT-6 Astra，主打桌面自动化与网络安全 Critical 档位

- 来源：AYi (@AYi_AInotes)
- 发布时间：2026-09-04 10:29
- AIHOT 分数：81
- AIHOT 标记：精选
- AIHOT 链接：https://aihot.virxact.com/items/cmtmcipsq00sirovbhprdqc1x
- 原文链接：https://x.com/AYi_AInotes/status/2095700816980222311

## 精选理由

作者汇总了 GPT-6 Astra 的基准数字、定价、落地范围和安全分级，读者可以据此快速判断它的能力边界。

## AI 摘要

OpenAI 发布 GPT-6 Astra，主打计算机操作能力。作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。

## 正文

给大家总结一下 GPT-6 Astra 的亮点，AGI 真的离我们越来越近了吗？ 1. 开放问题突破：攻克了包括构造 non-sofic 群、推翻 Connes 刚性猜想在内的 10 道数学/计算难题，全部采用 Lean 形式化证明，单次解题 Token 成本在 $2000 量级；

2. 桌面自动化分水岭：ScreenSpot 达 92.7%，AutomationBench 41.4%（比上一代翻倍），API 标价 $10/$50 每百万 Token，支持 1.05M 超长上下文与异步工具调度；

3. 真实落地限制：首批仅面向有限机构与 ChatGPT Plus/Pro/企业版桌面端，免费版未放开；在 Humanity's Last Exam 基准上，Claude Fable 5.1（约 65%）依然领先 Astra（约 57%）；

4. 安全分级：这是 OpenAI 首次将模型标到 Critical 网络安全就绪档位，ExploitBench 达 100%，高级网络安全能力仅在 Daybreak 白名单受控开放。

### 引用推文

> OpenAI：这就是 GPT-6 Astra。 你在电脑上能做的任何事，Astra 都能为你代劳，而且速度飞快。
