Mistral AI 开源模型 Leanstral 1.5 专为 Lean 4 形式化验证设计
Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.
回到原文
这里保留短导读，不转载来源网站的完整正文。具体表述和后续更新请以原文为准。
打开 the-decoder.com 原文