AI圈报
模型发布 / 更新精选

Mistral 发布 Leanstral 1.5:6B 激活参数的形式化证明模型,Apache-2.0 完全开源

信息来源:Mistral AI:News(网页)·
原始标题:Research Leanstral 1.5: Proof Abundance for All July 2, 2026 By Leanstral Team at Mistral

内容摘要

Mistral 发布 Leanstral 1.5,一个 Apache-2.0 许可、总参数 119B、激活 6B 的形式化证明模型,权重开放在 Hugging Face 并提供免费 API。
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Mistral AI:News(网页)
站内情报编号intel-d06111ab55c7b6390a1c6401