Mistral发布Leanstral 1.5：面向Lean 4形式化证明的开放MoE

Mistral发布面向Lean 4形式化证明和代码验证的Leanstral 1.5（2026-06-30，发布日口径）。模型经过中期训练、监督微调和强化学习，可在文件系统和Lean语言服务器环境中迭代证明；119B总参数、6B激活参数（MoE）。权重以Apache 2.0开放，同时提供免费API端点leanstral-1-5。发布方：Mistral AI。