Mistral AI：News（网页）·2026-07-02 21:55· 2026-07-02AI 评分59

Mistral AI 发布 Leanstral 1.5：6B 激活参数的形式化证明模型

Leanstral 1.5: Proof Abundance for All

AI 导读

Mistral AI 发布 Apache-2.0 协议的 Leanstral 1.5，总参数 119B、激活 6B，专注 Lean 4 形式化证明工程。