Hcompany 发布 Holo4 系列智能体模型，支持跨界面计算机操作
Hcompany 正式发布 Holo4 系列计算机使用智能体模型，推出 27B 密集型和 35B-A3B 混合专家两种规格，并同步更新轻量版 Holotron4 Nano。
推荐理由：该模型统一了图形界面、代码沙箱与 MCP 接口的交互路径，为低成本构建跨软件工作流提供了开源轻量方案。
#MCP/工具调用
#MCP/工具调用
今日 0 条Hugging Face Blog精选AI 评分7474
Latent SpaceAI 评分5050 TypeSafe 推出决策模型 Jev：专注分类与路由，速度比前沿小模型快超 100 倍、成本低超 200 倍
TypeSafe 推出专用于决策、分类与路由的“系统一模型” Jev，放弃自由文本生成，比前沿小模型快 20–200 倍且成本降低 40–400 倍。该模型基于 RLCD 训练，具备并行采样与无模型幻觉特性，输出 token 免费。其定位为受约束的高效推理引擎，可在生产环境中替代传统 LLM 执行结构化分类、评分与策略路由。
Mistral AIAI 评分5959 Mistral 发布 Leanstral：面向 Lean 4 的开源代码代理
Mistral 发布 Leanstral，一个面向 Lean 4 的开源代码代理，激活参数 6B，权重以 Apache 2.0 许可开放，同时提供 Mistral Vibe 中的 agent 模式和免费 API 端点。