Mistral发布Leanstral 1.5：证明丰裕普惠

Mistral AI 发布了 Leanstral 1.5，这是一个专注于数学证明和形式化验证的模型。该模型旨在降低形式化证明的门槛，使更多开发者能够利用自动化推理工具。Leanstral 1.5 基于 Mistral 的架构，针对 Lean 证明助手进行了优化，能够生成和验证数学证明。Mistral 表示，该模型在多个基准测试中表现出色，并计划开源以促进社区发展。