**Mistral发布Leanstral 1.5：开源形式化数学模型展现强大代码纠错能力**

_Mistral&\#039;s open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code_

> Mistral AI推出开源模型Leanstral 1.5，专为Lean 4形式化验证设计。该模型不仅在形式化数学基准测试中表现优异，还在扫描57个开源仓库时发现了五个此前未知的代码漏洞。

**来源信息**
- **来源**：The Decoder：AI News（RSS）
- **分类**：ai-models
- **发布时间**：2026-07-04 15:12（北京时间）
- **原文**：[打开原文](https://the-decoder.com/mistrals-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real-bugs-in-code)