Mistral Small 4 家族新成员 Leanstral-2603 发布

Mistral Small 4 家族新增开源代码智能体 Leanstral-119B A6B，支持 Lean 4 证明助手和多模态输入，上下文窗口达 256k tokens。模型采用 MoE 架构，含 128 个专家，每 token 激活 4 个，参数量 119B，推荐使用 vLLM 部署以实现生产级推理。该模型遵循 Apache 2.0 协议，支持中文等 11 种语言，并提供高推理效率设置。