Leanstral1.5
分类
模型
MistralAI表示，Leanstral1.5模型在miniF2F形式数学基准测试的验证集和测试集上均实现了100%的完成率；
文章
面向数学形式化证明：MistralAI发布Leanstral1.5低使用成本开源模型2026年07月06日15:54IT之家IT之家7月6日消息，欧洲人工智能企业MistralAI当地时间本月2日宣布推出面向数学形式化证明程序语言Lean4的Leanstral1.5模型。
文章
效果
MistralAI强调，相比于市面上的其他方案，Leanstral1.5极大地降低了科研试错成本。
文章
