Mistral AI·· 2026-07-02精选AI 评分71
Mistral 发布 Leanstral 1.5 形式化验证模型
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。
推荐理由
官方给出 Leanstral 1.5 在形式化验证基准上的成绩与成本对比，可据此判断开源证明模型的实用边界。
来源：Mistral AI · mistral.ai