模型发布 / 更新精选
Leanstral 1.5：人人可用的证明丰富性
原始标题：Leanstral 1.5： Proof Abundance for All July 2， 2026 Leanstral Team at Mistral AI
内容摘要
Mistral AI 今日发布 Leanstral 1.5，一款 Apache-2.0 许可的开源形式化验证模型，119B 总参数仅 6B 活跃。在 miniF2F 上达 100% 饱和，PutnamBench 解决 587/672 题，FATE-H（87%）和 FATE-X（34%）创 SOTA。训练经历 mid-training、SFT 和基于 CISPO 的强化学习。具备智能体式证明能力，在 57 个开源仓库中发现 5 个未知 bug。模型已通过 HuggingFace 和免费 API 开放使用。
内容分类AI 模型发布与更新
内容层级精选情报
发布时间（北京时间）
本站收录时间（北京时间）
信息来源Mistral AI：News（网页）
站内情报编号intel-d06111ab55c7b6390a1c6401