Mistral AI 发布 Leanstral 1.5：119B 总参数、6B 激活参数的开源形式化证明模型

Mistral AI 发布 Apache-2.0 许可的 Leanstral 1.5，模型拥有 119B 总参数和 6B 激活参数，面向 Lean 4 形式化证明与代码验证，权重已在 Hugging Face 开源，并提供免费 API leanstral-1-5。