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
事件后续1
查看事件全部- Mistral 发布 Leanstral 1.5：6B 激活参数的形式化证明模型，Apache-2.0 完全开源Mistral AI：News · 7 月 3 日