Mistral AI 发布 Leanstral 1.5 形式化验证模型

先了解这件事

Mistral AI 发布 Leanstral 1.5，一个用于形式化证明的模型，总参数 119B、激活参数仅 6B，采用 Apache-2.0 许可完全开源，权重开放在 Hugging Face，并提供免费 API。

Mistral 称该模型带来性能升级，使形式化验证比以往更强大、更易获取。