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，说明它不仅是分数提升，也有实际代码审计/发现问题的能力。

原文链接 →

「模型」频道最新

• 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11
• 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11
• 网友吐槽 GPT-5.6 文笔好读但缺乏记忆点 — BasedRaddka · 2026-09-11
• Opus 以"安全"为由拒碰蛋白质生成代码,开发者吐槽误伤 — josephdviviano · 2026-09-11
• 网友称 DeepSeek 4.1 Flash 是语言模型历史拐点(未证实) — himanshustwts · 2026-09-11
• Terminal Bench v4 榜单:GLM-5.3 以 41.9% 一骑绝尘 — Ok_Warning2146 · 2026-09-11

更多「模型」频道 AI 资讯 →