**Mistral发布Leanstral 1.5：专为自动定理证明优化的119B参数模型**

_Leanstral 1.5_

> Mistral Labs于2026年6月30日发布Leanstral 1.5，这是针对Lean 4形式化证明工程优化的更新版本。该模型总参数量为119B，激活参数为6.5B，旨在提升自动化定理证明和自动形式化的能力。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-07-01 04:44（北京时间）
- **原文**：[打开原文](https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06)