⌘ K
… 读取采集状态 同步中...
雷
原文
Mistral AI·· 2026-07-02精选AI 评分69

Mistral AI 发布开源模型 Leanstral 1.5

Leanstral 1.5: Proof Abundance for All

AI 导读

Mistral AI 发布 Apache-2.0 许可的 Leanstral 1.5,这是一个总参数 119B、活跃参数 6B 的模型,专注于 Lean 4 证明工程。

推荐理由

官方发布 6B 活跃参数模型,在多个形式化验证基准上达到 SOTA 并发现开源仓库未知 bug,展示了低成本正式验证的实用路径。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:Mistral AI · mistral.ai