6B 开源模型 Leanstral 1.5 击败 GPT-6 Astra 登顶 ArXivLean

Mistral 团队（含实习生成果）用仅 6B 参数的开源模型 Leanstral 1.5 配合少量 K3 编排组成 agent 系统，在 ArXivLean 基准上击败 GPT-6 Astra，取得 38/46（82.6%）的验证通过率。团队透露经过大量训练打磨，且即将把 K3 换成另一个模型。不过该系统单题消耗高达千万级 token，效率与能力的取舍引发关注。

2026-09-11 ~ 2026-09-12 · 4 条相关

• Mistral Prover 6B 小模型组合在 ArXivLean 达 82.6% 验证通过率 — AlbertQJiang · 2026-09-11
• 6B 模型 Leanstral 1.5 击败 GPT-6 Astra 登顶 ArXivLean — AlbertQJiang · 2026-09-11
• 6B 开源模型 Leanstral 1.5 搭配 K3 编排,ArXivLean 上击败 GPT-6 Astra — sophiamyang · 2026-09-11
• Mistral 双开源模型 agent 斩获 ArXivLean 82%,单题烧千万 token — scaling01 · 2026-09-12