OpenAI launches GPT-6 Astra, targeting desktop automation and critical security tier

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

OpenAI released GPT-6 Astra, focused on computer-use skills. The post says it solved 10 math problems via Lean formal proofs, costing ~$2,000 per solution in tokens. But it doesn't spell out desktop automation details, the critical security tier, pricing, or release date.