GPT-5还没普及，OpenAI已经悄悄拿出了下一代模型。
8月的第一周，OpenAI没有任何发布会，只是在一篇讨论数学研究的博客文章第三段，提到了"我们下一代主要模型Astra"。就这么一句，轻描淡写。但内容震惊了整个学界：Astra内部版本在两周内解决了10道悬而未决十余年的数学难题——非Sofic群存在性证明、Connes刚性猜想推翻、Erdos问题三个、高维球体堆积、二进制码界限、算术电路下界、量子并行重复定理……按Sol API价格算，总成本约2000美元。
菲尔兹奖得主Gowers看完后说，愿意推荐其证明至顶级期刊。OpenAI还同步发布了249页技术报告，所有证明均可由Lean系统机械验证，GitHub上Apache 2.0许可证开源，"sorry"计数为零。这意味着，每一个证明步骤都有据可查，不是自说自话。Astra将作为独立模型系列存在，与现有Sol、Luna、Terra并列。
语音交互也在变天。8月4日，OpenAI正式发布重构后的语音系统GPT-Live，彻底抛弃了传统"回合检测器"机制，转向全双工架构——用户说话的同时，AI同步生成回复，系统每秒多次自主决策该倾听还是该发言。底层用Go语言重写，开发了WARP协议将WebRTC握手从6次往返压缩至单数据包。超过1.5亿周活跃用户，将直接体验到这次"对讲机到人声"的跨越。
价格战也在加剧。7月31日，OpenAI宣布GPT-5.6 Luna降价80%，输出价格从每百万Token 6美元砍至1.2美元，距离两款模型正式推出仅三周。降价的背景是DeepSeek V4 Flash的强势冲击——后者单日处理8万亿Token登顶全球调用榜首，逼得OpenAI连夜打折追赶。这场AI定价权之争，好戏才刚开场。
OpenAI ChatGPT Astra 人工智能