品玩7月6日讯，据 Mistral AI 官方消息，Leanstral 1.5模型现已正式发布，该模型基于Apache-2.0协议开源，总参数量达1190亿，激活参数仅为60亿。
新版本在数学证明基准测试中表现卓越，不仅完全覆盖miniF2F测试集，更在PutnamBench中成功解决587道难题，展现出强大的长周期推理能力。
在实际应用层面，Leanstral 1.5在代码验证领域取得关键突破。模型成功证明了AVL树插入与删除操作的时间复杂度，并在自动化测试中精准定位了开源代码库中5个此前未被报告的隐藏缺陷。这证实了形式化验证方法在真实工程环境中的有效性。
目前，Leanstral 1.5模型权重已在Hugging Face上线，并同步提供免费API端点。
富腾优配提示：文章来自网络，不代表本站观点。
