面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型

Mistral AI 发布面向 Lean 4 数学形式化证明的开源模型 Leanstral 1.5，共 119B 参数、激活 6B 参数，以 Apache-2.0 许可开源。