admin 2026-07-07 66浏览

Mistral AI发布Leanstral 1.5：数学证明模型以百分之一推理成本实现顶尖性能 欧洲人工智能公司Mistral AI正式推出Leanstral 1.5，一款专为Lean4程序语言打造的数学形式化证明模型。该模型总参数...