Mistral 发布 Leanstral 1.5：6B 激活参数的开源形式化验证模型

Mistral 发布 Leanstral 1.5，一个 Apache-2.0 许可、119B 总参数、仅 6B 激活参数的形式化验证模型，在 miniF2F 上达到 100%，解出 PutnamBench 672 题中的 587 题，并在 FATE-H 取得 87%、FATE-X 取得 34% 的 SOTA 成绩。