Mistral AI：News·· 2026-07-02AI 评分68
Mistral 发布 Leanstral 1.5：6B 激活参数的形式化证明模型，Apache-2.0 完全开源
Research Leanstral 1.5: Proof Abundance for All July 2, 2026 By Leanstral Team at Mistral
AI 导读
Mistral 发布 Leanstral 1.5，一个 Apache-2.0 许可、总参数 119B、激活 6B 的形式化证明模型，权重开放在 Hugging Face 并提供免费 API。
来源：Mistral AI：News · mistral.ai