Mistral 双开源模型 agent 斩获 ArXivLean 82%,单题烧千万 token
scaling01 · x · 2026-09-12
ArXivLean 榜单新增一条亮眼成绩:Mistral 团队用两个开源模型组成的 agent 系统拿下 82% 的排行榜成绩。
- 组合方式:Leanstral 1.5 担任证明器(prover),Kimi K3 担任协调器(coordinator)。
- 代价不小:每个问题消耗约 1000 万输出 token。
- 发帖人据此感叹:GPT-6-Astra 仅用 1000 万 token 就被这两个开源模型"压过",若它能用上 1300 亿 token 会是什么水平。
所属事件:6B 开源模型 Leanstral 1.5 击败 GPT-6 Astra 登顶 ArXivLean(4 条相关)→
「模型」频道最新
- GPT-6.1 Terra 控制真机器人胜过 Opus 5.5,较三月前提升 3.7 倍 — ycombinator · 2026-10-28
- Kimi 发布 K3.1 Pro：3T 级开源权重模型，100 万上下文幻觉降 65% — NVIDIAAI · 2026-10-28
- OpenSIR 自博弈框架：LLM 无需训练数据自学数学推理 — PMinervini · 2026-10-28
- Claude Opus 5.5 从二进制重建 SQLite 等程序,ProgramBench 得分 18.5% — winer666 · 2026-10-28
- Codex 后台任务一夜烧光 500 美元周额度外加 75000 credits — sethlazar · 2026-10-28
- 用 $TAO 两分钟上手开源模型：Bittensor 侧链 SN53 实测体验 — markjeffrey · 2026-10-28