Mistral 发布 Mistral Small 4，统一推理、多模态与编码能力并以 Apache 2.0 开源
Mistral 发布 Mistral Small 4，是首个将 Magistral 推理、Pixtral 多模态和 Devstral 智能体编码能力统一到单一模型的小型旗舰，采用 Apache 2.0 许可开源。
推荐理由：原文给出架构参数、reasoning_effort 用法和与 GPT-OSS 120B 的输出效率对比，读者可据此评估部署成本与选型。
#编码
#编码
今日 3 条Mistral AI精选AI 评分6767 Mistral AIAI 评分5353 Mistral 发布开源 Lean 4 代码智能体模型 Leanstral
Mistral 发布 Leanstral，一个专为 Lean 4 证明助手设计的开源代码智能体模型，采用稀疏架构（6B 激活参数，Leanstral-120B-A6B），权重以 Apache 2.0 许可开放，并可通过 Mistral Vibe 和 labs-leanstral-2603 免费或近免费 API 使用。
Mistral AI精选AI 评分6161 Mistral 基于 Vibe 构建自动编写 Rails RSpec 测试的智能体
Mistral 基于其开源编程助手 Vibe 构建了一个自主智能体，可读取 Rails 源文件、生成或改进 RSpec 测试，并通过 RuboCop 和 SimpleCov 工具在 CI/CD 流水线中无人工干预地并行运行。
推荐理由：原文给出可复用的 AGENTS.md、分文件类型 skills 和强制执行测试的做法，以及质量分从 0.49 升到 0.74 的实验数据。
Mistral AI精选AI 评分6363 Mistral 发布 Mistral Vibe 2.0 终端编码智能体并调整 Devstral 2 定价
Mistral 发布终端原生编码智能体 Mistral Vibe 2.0，由 Devstral 2 模型驱动，新增自定义子智能体、多选项澄清、斜杠命令技能和统一智能体模式。
推荐理由：官方公布了 Mistral Vibe 2.0 的具体新能力和套餐定价，读者可以据此判断终端智能体工作流如何配置与迁移。
Mistral AI精选AI 评分6969 Mistral 发布 Devstral 2（123B）与 Devstral Small 2（24B）开源编码模型及 Mistral Vibe CLI
Mistral 发布开源编码模型 Devstral 2（123B，修改版 MIT 协议）与 Devstral Small 2（24B，Apache 2.0），SWE-bench Verified 分别为 72.2% 和 68.0%，支持 256K 上下文窗口。
推荐理由：官方发布给出 SWE-bench Verified 分数、API 定价和部署门槛，可据此评估这款开源编码模型的实际性价比。
Mistral AIAI 评分5454 Mistral AI 发布 Codestral 25.08 及面向企业的完整编码栈
Mistral AI 发布 Codestral 25.08，并整合 Codestral Embed、Devstral 和 Mistral Code IDE 插件组成企业级编码栈。
Mistral AIAI 评分5656 Mistral AI 发布 Devstral Medium 并升级 Devstral Small 1.1，强化代码智能体能力
Mistral AI 与 All Hands AI 合作推出 Devstral Medium，并升级 Devstral Small 1.1。
Mistral AIAI 评分5050 Mistral 发布企业级 AI 编码助手 Mistral Code
Mistral 发布面向企业的 AI 编码助手 Mistral Code，基于开源项目 Continue 构建，集成 Codestral、Codestral Embed、Devstral 和 Mistral Medium 四个模型，支持 JetBrains IDE 和 VSCode，今日开放私测。
Mistral AIAI 评分5050 Mistral 发布代码嵌入模型 Codestral Embed
Mistral 发布首个代码专用嵌入向量模型 Codestral Embed，自称在真实代码检索场景上优于 Voyage Code 3、Cohere Embed v4.0 和 OpenAI 的大号嵌入模型。
Mistral AI精选AI 评分7171 Mistral AI 联合 All Hands AI 发布开源编码智能体模型 Devstral
Mistral AI 与 All Hands AI 合作发布面向软件工程任务的智能体模型 Devstral，以 Apache 2.0 许可开源。
推荐理由：官方给出了 SWE-Bench Verified 成绩、部署门槛和 API 定价，开源编码模型选型可据此对比。