Proof AI

Mistral AI 发布 Leanstral 1.5 用于数学证明和代码验证 · 已跟踪 2 个来源

Mistral AI 发布了 Leanstral 1.5，这是一个开源模型，专为形式验证任务设计，尤其是在 Lean 4 数学领域。该模型在形式数学基准测试中表现强劲，并且通过发现各种开源代码存储库中五个先前未发现的错误，在软件开发中也证明了其有用性。Leanstral 1.5 的发布标志着“证明 AI”领域的一项重大进展，为数学证明和代码验证提供了更易于访问且更具成本效益的解决方案。