Mistral 发布开源代码智能体 Leanstral，面向 Lean 4 形式化证明
Mistral 发布 Leanstral，称其为首个面向 Lean 4 的开源代码智能体，采用 6B 激活参数的稀疏架构，权重以 Apache 2.0 许可开放，并集成进 Mistral Vibe 与免费 API 端点 labs-leanstral-2603。
推荐理由：Mistral 开源面向 Lean 4 的代码智能体，给出权重、API 与 FLTEval 评测，可据此判断形式化验证的成本变化。
开源生态
全部主题开源模型、框架与仓库动态：权重开放、社区项目爆火、开源与闭源的力量消长。
49条精选相关主题模型发布Hugging FaceAI 编码
最新精选
第 41–49 条 · 共 49 条Mistral AI精选AI 评分6565
Mistral AI精选AI 评分7171 Mistral 发布 Voxtral Transcribe 2 语音转写模型家族
Mistral 发布 Voxtral Transcribe 2，包含面向批量转写的 Voxtral Mini Transcribe V2 和面向实时场景的 Voxtral Realtime，支持说话人分离、上下文偏置和词级时间戳，覆盖 13 种语言。
推荐理由：Mistral 一次发布批量与实时两款语音转写模型，并给出延迟、错误率与价格对比，便于判断实时语音场景的可用性。
Mistral AI精选AI 评分7878 Mistral 发布 Devstral 2 编码模型与 Mistral Vibe CLI
Mistral AI 发布 Devstral 2 编码模型家族，包含 123B 的 Devstral 2 和 24B 的 Devstral Small 2，分别采用修改版 MIT 和 Apache 2.0 许可，均为开源。
推荐理由：Mistral 开源编码模型与配套 CLI 同时发布，可对照其参数规模、SWE-bench 成绩与部署门槛判断实用性。
Mistral AI精选AI 评分8282 Mistral 发布 Mistral 3 系列模型，含 675B 参数 Mistral Large 3
Mistral 发布 Mistral 3 系列，包括 Mistral Large 3 与 3B、8B、14B 三个尺寸的 Ministral 3，全部以 Apache 2.0 许可开源。
推荐理由：Mistral 3 全系以 Apache 2.0 开源，并给出 NVFP4 量化与多平台部署路径，可据此判断开源前沿模型的落地成本。
Mistral AI精选AI 评分7878 Mistral 发布开源语音理解模型 Voxtral，含 24B 与 3B 两个版本
Mistral 发布语音理解模型 Voxtral，提供 24B 和 3B 两种尺寸，均以 Apache 2.0 许可开源并上线 API。模型支持 32k token 上下文，可处理最长 30 分钟转写或 40 分钟理解，具备多语言、音频问答与摘要、语音触发函数调用等能力，API 定价每分钟 0.001 美元起。
推荐理由：Mistral 开源语音理解模型 Voxtral，给出两种尺寸、32k 上下文与 API 定价，可据此判断语音转写与理解的成本与部署选择。
Mistral AI精选AI 评分6666 Mistral 发布 Devstral Medium 并升级 Devstral Small 1.1
Mistral AI 与 All Hands AI 合作发布 Devstral Medium，并升级 Devstral Small 1.1，两款模型均强调对不同提示词和智能体框架的泛化能力。
推荐理由：Mistral 与 All Hands AI 联合发布两款编码智能体模型，给出了 SWE-Bench Verified 分数、开源许可与 API 定价，便于对比选型。
Mistral AI精选AI 评分7878 Mistral AI 发布首款推理模型 Magistral
Mistral AI 发布首款推理模型 Magistral，分为 24B 参数的开源版 Magistral Small 和企业版 Magistral Medium。
推荐理由：Mistral 首款推理模型同时开源与商用，读者可据此了解其多语言推理定位与 Le Chat 的加速方案。
Mistral AI精选AI 评分7474 Mistral AI 发布编码智能体模型 Devstral
Mistral AI 与 All Hands AI 合作发布编码智能体模型 Devstral，在 SWE-Bench Verified 上取得 46.8%，超过此前开源 SoTA 模型 6 个百分点以上，并以 Apache 2.0 许可开源。
推荐理由：Devstral 在 SWE-Bench Verified 上超过此前开源模型，并给出本地部署与 API 定价，可据此判断开源编码智能体的可用性。
Mistral AI精选AI 评分7171 Mistral 发布 Mistral Small 3.1，支持多模态与 128k 上下文
Mistral AI 发布 Mistral Small 3.1，在 Mistral Small 3 基础上提升文本性能与多模态理解，上下文窗口扩展至 128k tokens，推理速度达 150 tokens per second，并以 Apache 2.0 许可开源。
推荐理由：Mistral Small 3.1 以 Apache 2.0 开源并支持 128k 上下文与多模态，读者可据此判断小模型在端侧与智能体场景的可用边界。