Mistral 开源 Leanstral 1.5
dl_weekly · x · 2026-07-11
Mistral 开源了 **Leanstral 1.5**。 帖文提到它在多个基准上表现很强： - 在 miniF2F 上达到饱和 - PutnamBench 672 题中解出 587 题 - 在 FATE-H/X 上刷新 SOTA 此外，这个版本还在 57 个测试仓库里暴露出 5 个此前未知的 bug，说明它不仅是分数提升，也有实际代码审计/发现问题的能力。
dl_weekly · x · 2026-07-11
Mistral 开源了 **Leanstral 1.5**。 帖文提到它在多个基准上表现很强： - 在 miniF2F 上达到饱和 - PutnamBench 672 题中解出 587 题 - 在 FATE-H/X 上刷新 SOTA 此外，这个版本还在 57 个测试仓库里暴露出 5 个此前未知的 bug，说明它不仅是分数提升，也有实际代码审计/发现问题的能力。