Mistral发布Leanstral 1.5

Mistral发布Apache-2.0许可的Leanstral-1.5-119B-A6B模型，主打形式化验证和自动定理证明，声称在miniF2F、PutnamBench、FATE-H/X等基准上表现领先。模型还在57个代码库测试中发现5个未知缺陷，面向代码正确性验证场景。

事件进展（2 篇报道）

1. 2026-07-03 22:44
   Reddit r/LocalLLaMA Mistral released Leanstral-1.5-119B-A6B
2. 2026-07-04 06:33
   Hacker News Leanstral 1.5: Proof Abundance for All

← 返回首页