深度专题 FEATURES — 1
Claude写完一次真实版本迭代
Claude 以约149美元参与 sqlite-utils 候选版迭代，一次可量化的编码智能体工程样本。
速览 BRIEFS — 9
NEWS
GPT-5.5推理为何越想越差
39万条元数据出现固定推理令牌峰值，但性能退化原因仍未坐实
NEWS
Leanstral 1.5瞄准形式化证明
Mistral 开源 Leanstral 1.5，让 AI 生成的数学与代码证明可由 Lean 严格核验。
NEWS
Meta转向出售算力基础设施
Meta考虑推出Meta Compute，把自用AI算力变成对外云服务，直接经营基础设施。
NEWS
苹果私有云计算扩展至谷歌云
苹果首次让私有云 AI 跑在谷歌云上，并用多重硬件验证守住隐私边界。
NEWS
AWS为智能体推出隔离MicroVM
AWS用隔离MicroVM承接智能体生成代码，兼顾快速启动与状态保留。
NEWS
Vercel开源智能体框架Eve
Vercel开源智能体框架Eve，把前端部署生态延伸到AI智能体的开发与运行。
NEWS
AReaL 2.0让Agent持续进化
AReaL 2.0把Agent的工作记录接回训练，让上线后的持续学习形成闭环。
NEWS
DeepSeek V4传出7月中上线
腾讯云计划7月中上架DeepSeek-V4正式版，但发布时间仍待DeepSeek确认。
NEWS
DeepSeek涨价释放商业化信号
DeepSeek拟在工作日高峰提高API价格，国内大模型竞争开始转向算力调度与商业回报。
