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