**Mistral发布Leanstral 1.5：让形式化证明触手可及**

_Leanstral 1.5：面向所有人的丰富性证明_

> Mistral AI推出Leanstral 1.5模型，旨在降低形式化验证门槛，通过强大的AI辅助能力，使开发者和研究者能够更便捷地进行数学证明和代码验证，实现“证明的普及”。

**来源信息**
- **来源**：Hacker News 热门（buzzing.cc 中文翻译）
- **分类**：ai-models
- **发布时间**：2026-07-04 11:03（北京时间）
- **原文**：[打开原文](https://mistral.ai/news/leanstral-1-5)