Mistral发布Small 4模型：整合多模态与推理能力的多功能AI模型
Simon Willison2026/03/17 07:41机翻/自动摘要/自动分类
3 阅读
内容评分
技术含量
8/10
营销水分
6/10
摘要
Mistral发布Mistral Small 4模型，整合多模态、推理与编程能力，支持可调推理强度，文件规模达242GB。该模型通过专家混合机制实现1190亿参数规模，可生成SVG图像等复杂输出。同时发布的Leanstral模型专为Lean 4编程语言优化，拓展了AI在形式化验证领域的应用。
正文
Mistral今日推出全新模型Mistral Small 4，尽管名称未体现'小型'特性，但其参数规模达1190亿（含60亿参数用于专家混合机制）。该模型整合了旗舰模型Magistral的推理能力、Pixtral的多模态处理能力及Devstral的编程能力，支持两种推理强度设置（reasoning_effort="none" 和 reasoning_effort="high"），其中高推理强度模式输出与Magistral相当。模型文件大小242GB，可通过Hugging Face平台测试。更新显示官方文档已完善reasoning_effort参数说明。此外，Mistral还发布Leanstral模型，专为支持形式化验证语言Lean 4优化。