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

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

OpenAI 发了 GPT-6 Astra，重点放在操作电脑和网络安全的高危场景。正文提到它用 Lean 形式化证明解了 10 道数学难题，每道题光 token 成本就约 2000 美元——这成本挺高，说明验证过程很烧算力。但桌面自动化具体怎么用、Critical 安全档位指什么、定价和发布时间都没说。如果是真的，能自动操作桌面挺省钱，但这点先别太激动...