Holo4 发布通用计算机使用智能体模型系列
Holo4 发布通用智能体模型系列,提供 27B dense 和 35B-A3B Mixture of Experts 两种规格,可通过 GUI、代码、MCP 和 API 与软件交互。
推荐理由:文章同时给出 OSWorld 2.0 成绩、成本口径与可复现轨迹,便于比较 Holo4 在多界面工作流中的实际取舍。
Holo4 发布通用智能体模型系列,提供 27B dense 和 35B-A3B Mixture of Experts 两种规格,可通过 GUI、代码、MCP 和 API 与软件交互。
推荐理由:文章同时给出 OSWorld 2.0 成绩、成本口径与可复现轨迹,便于比较 Holo4 在多界面工作流中的实际取舍。
TypeSafe 发布 Jev,一款通过 RLCD 训练、面向结构化决策而非文本生成的模型。文章称其速度和成本显著低于小型 frontier LLM,但 Jev 不能生成自由文本,并要求预定义输出格式。全文还汇总了 Neon、Gemini 3.8 Live、智能体基础设施与 CheatBench 等近期 AI 动态。
Mistral AI 发布 Leanstral-120B-A6B,面向 Lean 4 形式化仓库中的代码与证明任务,并以 Apache 2.0 许可开放模型权重。
推荐理由:以真实形式化仓库中的证明任务比较模型表现与运行成本,为评估代码智能体在证明工程中的性价比提供了具体参照。