搜索关键词 API定价
AI & Enterprise
DeepSeek上线V4 Pro 0813正式版：API价格不变，Claude Fable 5平均领先约5.3%
DeepSeek已将主力模型切换为V4 Pro 0813正式版，并在未单独发布公告的情况下更新了API页面，价格维持不变。官方基准结果显示，在双方均公布成绩的9项指标中，Claude Fable 5平均领先5.3%；但按混合费率计算，V4 Pro的混合费率约为0.65美元，价格仅为对手的约1/46。由于具体测试环境尚未完全公开，正式版的实际表现仍有待外部验证。
AI & Enterprise
OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明
OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。
Industry
Moonshot AI发布开源模型Kimi K3：基准测试领先，实际表现仍待检验
中国AI初创公司Moonshot AI发布开源模型Kimi K3。该模型参数规模达2.8万亿，被称为目前已公开的开源权重模型中参数规模最大的一款，并在AI评测平台Arena的前端编程榜单上排名第一。与此同时，其API定价明显低于OpenAI和Anthropic同类产品。围绕开源模型对闭源格局的冲击及其可靠性，硅谷出现明显分歧。
