总结一下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 白名单受控开放。