Mistral 发布 Leanstral 1.5:开源代码智能体,将形式化证明效率提升至新高度Mistral AI 正式推出了 Leanstral 1.5,这是一款专为 Lean 4 形式证明工程、自动化定理证明及软件验证设计的开源代码智能体模型。作为 Mistral 开放模型战略的重要组成部...大语言模型# Leanstral 1.5# Mistral4个月前1660