Mistral 的开源 Leanstral 1.5 取得了正式的数学基准测试并捕获了代码中的真正错误

Mistral AI 发布了 Leanstral 1.5，这是一个用于 Lean 4 中形式验证的开源模型。除了数学之外，该模型在扫描 57 个开源存储库时还发现了 5 个以前未知的错误。文章米斯特拉尔开放……

摘要仅供参考,请点击来源链接查看全文。演示条目为示意。