Mistral AI·· 2026-07-02精选AI 评分82
Mistral 发布 Leanstral 1.5，6B 激活参数开源模型在形式化验证上刷新多项基准
Leanstral 1.5: Proof Abundance for All
AI 导读
Mistral 发布 Leanstral 1.5，一款 Apache-2.0 许可、总参数 119B 但仅 6B 激活的开源模型，在 miniF2F 上达到 100%，解决 PutnamBench 587/672 题，并在 FATE-H（87%）和 FATE-X（34%）上取得新 SOTA。
推荐理由
原文给出了基准成绩、成本对比和真实代码库找 bug 的案例，读者可据此判断它在形式化验证上的实用程度。
来源：Mistral AI · mistral.ai