最近AI行业出了件挺拧巴的事。一边是OpenAI把API（模型调用结算接口）价格往下压，另一边又高调发了一个外界根本摸不着的新模型系列。根据21世纪经济报道和新浪财经8月4日的消息，OpenAI在8月1日首次公开确认新一代模型系列叫Astra，拉丁语意思是“星辰”。它说内部版本已经解决了十个长期没进展的数学和理论计算机科学难题，还同步发了249页研究手稿、62页推理说明，并把论证全部转成Lean 4（一种机器可自动校验数学证明的工具）格式上传到了GitHub（全球最大的开源代码托管平台）。但直到8月底，IT之家援引TestingCatalog（专门挖AI测试动态的机构）的报道又提醒，Astra还没被官方正式叫成GPT-6（外界推测的第六代模型系列代号），也没开放公开访问。
更让人看不明白的是，就在Astra公布前后，OpenAI对现役模型的价格动手了。根据至顶科技8月5日的报道，7月30日，GPT-5.6 Terra的API价格降了20%，GPT-5.6 Luna直接降了80%。到了8月22日，IT之家又报道，GPT-5.6 Sol未来三个月还要降，输入价从每百万to...