GPT-6 Astra发布，但未解决OpenAI经济困境

Gary Marcus指出，Astra在可形式化验证问题上取得进展，但成本高昂且在ECI基准上提升有限。其性能与最新Claude相比提升不大。OpenAI面临来自中国、Anthropic等竞争对手的激烈竞争，且其代理存在严重安全缺陷。GPT-7若按当前规模扩展可能经济上不可行。