Mistral 新模型 Leanstral-1.5-119B-A6B 发布

Mistral 发布了开源代码智能体模型 Leanstral-1.5-119B-A6B，支持 Lean 4 证明助手和复杂数学对象表达，参数规模为 119B，上下文长度达 256k tokens。该模型基于 Mistral Small 4 家族，具备多模态输入能力，推荐使用 "high" 推理努力模式处理复杂提示。用户可通过 Mistral Vibe CLI 或本地 vLLM 服务器部署使用。