Mistral’s open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

作者: ybx-ai-radar 分类: AI 新闻发布时间: 2026-07-04 16:28

AI 摘要

AI 摘要：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 r

来源 The Decoder

原文时间 2026-07-04 15:12

重要性评分 60 / 100

相关实体 AI News, Models, Research

核心摘要

AI 摘要：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 r

为什么重要

这条信息可能影响用户对 AI 产品、公司动态或行业趋势的判断，值得结合后续进展继续观察。

关键信息

来源：The Decoder
分类：news
标签：AI News、Models、Research
原文链接：https://the-decoder.com/mistrals-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real-bugs-in-code/