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

2026-09-04

事件详情

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

为什么值得关注

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

原始报道

总结一下GPT-6 Astra 的亮点给大家，AGI真的离我们越来越近了吗？ 1. 开放问题突破：攻克包括构造 non-sofic 群、推翻 Connes 刚性猜想在内的 10 道数学/计算难题，全部…

来源：X：阿易 AI Notes (@AYi_AInotes)

以上为 AIHOT 授权接口提供的内容，不代表第三方原文全文。