Mistral AI·· 2026-07-02精选AI 评分74
Mistral AI 发布 Leanstral 1.5 形式化验证模型
Leanstral 1.5: Proof Abundance for All
AI 导读
Mistral AI 发布 Leanstral 1.5，一款 Apache-2.0 许可、119B 总参数 6B 激活参数的免费模型，权重已上线 Hugging Face 并提供免费 API 端点 leanstral-1-5。
推荐理由
原文给出基准成绩、成本对比和测试时扩展曲线，读者可据此判断其在形式化验证任务上的性价比与能力边界。
来源：Mistral AI · mistral.ai