Hcompany 发布 Holo4 智能体系列模型，含 27B dense 和 35B-A3B MoE 两个尺寸，并更新发布 Holotron4 Nano。模型可通过 GUI、代码、MCP 和 API 多种接口操作软件，在 OSWorld 2.0 上 Holo4 27B 得分 61.7%（Opus 5.5 为 81.8%），35B-A3B 达 30.9%，参数量和成本显著更低。
推荐理由：原文给出 OSWorld 2.0 等基准分数、成本对比和全部轨迹开源信息，读者可以据此评估这款多接口智能体模型是否适配自己的业务工作流。
Mistral 发布 Leanstral 1.5，Apache-2.0 许可，总参数 119B、激活 6B，主打 Lean 4 形式化证明工程。模型饱和 miniF2F，解出 587/672 PutnamBench 问题，在 FATE-H 达 87%、FATE-X 达 34%；经 mid-training、SFT 和 CISPO 强化学习三阶段训练。
推荐理由：原文给出基准成绩、成本对比和真实代码验证案例，读者可以据此评估开源形式化推理模型的实用边界。
OpenAI 推出 GPT-5.4 mini 和 nano，是 GPT-5.4 更小、更快的版本。两款模型针对编程、工具调用、多模态推理进行了优化，适用于高并发的 API 与子智能体工作负载。
Mistral 发布 Leanstral，称其为首个面向 Lean 4 的开源代码智能体，权重采用 Apache 2.0 许可证，提供 120B-A6B 稀疏架构（6B 激活参数），并集成于 Mistral Vibe 及免费 API 端点 labs-leanstral-2603。
Mistral AI 发布 Mistral Large 2（版本 24.07，API 名称 mistral-large-2407），参数量 123B，拥有 128k 上下文窗口，MMLU 预训练准确率 84.0%。