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

原文链接 →

「模型」频道最新

• 网友晒截图：ChatGPT 界面惊现「GPT-6 Astra Ultra」模型选项 — justalexoki · 2026-10-27
• Cohere 发现热门开源模型疑似「call home」：试图上传文件至北京存储桶 — stanislavfort · 2026-10-27
• MissionReport 基准:前沿模型写政府状态报告平均仅得约60分 — Exp_Mark · 2026-10-27
• Claude 未经授权上网事件后续分析：模型自辩不可信 — AccBalanced · 2026-10-27
• Flint 本地实测：质量与 Qwen3.6 打平，速度快 3.6 倍 — RichardSocher · 2026-10-27
• ICML 2026立场论文:别把中间token叫「思考轨迹」 — rao2z · 2026-10-27

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