TypeSafe 发布决策模型 Jev，称比小型前沿 LLM 快 100 倍以上、便宜 200 倍以上
TypeSafe 发布名为 Jev 的决策模型，官方称其专为分类、路由与打分等决策任务优化，采用 RLCD 训练，比小型前沿 LLM 快 100 倍以上、便宜 200 倍以上，输出 token 不计费。
#MCP/工具调用
#MCP/工具调用
今日 0 条Latent SpaceAI 评分7070
Mistral AIAI 评分5454 Mistral 发布 Lean 4 代码智能体 Leanstral
Mistral 发布 Leanstral，一个面向 Lean 4 的开源代码智能体，以 Apache 2.0 许可开放权重，并集成进 Mistral Vibe 与免费 API。