mistral

Mistral 将原 Le Chat 与编码代理整合后的统一产品，覆盖长程知识工作、工具连接和远程编码任务。

Mistral Studio 内面向生产级 AI 流程的编排能力，强调耐久执行、可观测性、人工审批与混合部署。

Mistral 面向 Lean 4 形式化证明与代码验证的开放模型，可通过权重或免费 API 试用。

Mistral 在 2025 年推出的双版本推理模型家族，开放权重的小型版与托管的企业版共同验证多语言分步推理路线。

Mistral 提供的专用 GPU 云与托管基础设施，覆盖裸金属、Kubernetes、Slurm 以及训练和推理运维。

Mistral Studio 的提示词与技能资产管理能力，为企业提供版本、归属、可见性、测试和审计链路。

Mistral 发布的开放模型，将推理、多模态理解和 Agent 编程能力合并到同一 Small 系列模型中。