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

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