Mistral AI·· 2026-07-02精选AI 评分78
Mistral 发布 Leanstral 1.5：6B 激活参数模型刷新形式化验证基准
Leanstral 1.5: Proof Abundance for All
AI 导读
Mistral AI 发布 Leanstral 1.5，这是一个 Apache-2.0 许可的模型，总参数 119B、激活参数仅 6B。它在 miniF2F 上达到 100%，解决 587/672 道 PutnamBench 题目，并在 FATE-H（87%）和 FATE-X（34%）上取得新 SOTA。
推荐理由
该模型在形式化验证基准上刷新成绩，并展示了在真实代码库中发现未知 bug 的能力，为形式化方法在工程中的落地提供了参考。
来源：Mistral AI · mistral.ai