admin 2026-07-07 189浏览

Mistral AI 发布 Leanstral1.5：开源数学证明模型，成本大幅降低 Mistral AI 正式发布了为 Lean 4 形式化证明语言设计的开源模型 Leanstral1.5。该模型采用 Apache-2.0 许可，参数总量 119B，激活参数...