Mistral AI·· 2026-07-02精选AI 评分65
Mistral 发布 Leanstral 1.5：119B 总参数 6B 激活，Apache-2.0 开源形式化验证模型
Leanstral 1.5: Proof Abundance for All
AI 导读
Mistral 发布 Apache-2.0 开源模型 Leanstral 1.5，119B 总参数、6B 激活参数，通过 mid-training、监督微调和 CISPO 强化学习训练。
推荐理由
官方披露了完整训练流程、基准数字和真实代码验证案例，读者可以据此评估形式化验证模型在数学证明和开源查错上的实用程度。
来源：Mistral AI · mistral.ai