Mistral 发布 Leanstral 1.5，开放形式化证明模型权重并提供免费 API

Mistral 发布 Leanstral 1.5，一款总参数量 119B、激活参数量 6B 的形式化证明模型，采用 Apache-2.0 许可，权重可在 Hugging Face 获取，并提供免费 API。Mistral 称其在 miniF2F 达到满分、PutnamBench 解出 587/672 题，并在 57 个代码仓库测试中发现 5 个此前未报告的漏洞；这些结果及漏洞发现均为发布方报告。