Mistral AI·· 2026-07-02精选AI 评分70
Mistral AI 发布 Leanstral 1.5：119B 总参数、6B 活跃参数，Apache-2.0 开源
Leanstral 1.5: Proof Abundance for All
AI 导读
Mistral AI 发布 Leanstral 1.5，这是一个 Apache-2.0 开源的形式化证明模型，总参数 119B、活跃参数 6B。
推荐理由
用开源 6B 活跃参数模型在 miniF2F、PutnamBench、FATE-H/X 等形式化基准上给出新 SOTA，并配套开源 FLTEval 与代码验证用例。
来源：Mistral AI · mistral.ai