Leanstral 1.5：Mistral AI开源的Lean4形式化证明MoE模型 Leanstral 1.5 是法国AI企业Mistral AI发布的面向Lean 4形式化定理证明的开源MoE混合专家大模型，为初代Leanstral迭代升级版本，核心用途是自动生成可被Lean 4编译器机器校... 2小时前 AI新闻 61
