Muse Spark 1.1形式化数学能力大幅提升
shuchaobi · x · 2026-07-11
Muse Spark 1.1 在形式化数学能力上取得显著进展，其在 ProofBench 基准测试中的得分从 17% 大幅跃升至 39%。
此外，在 Vals Index 排行榜上，该模型位列第四，同时是前十名中运行速度最快的模型，其延迟速度比前三名模型快约 3 倍。
所属事件:Meta Muse Spark 1.1 多项榜单成绩亮眼(13 条相关)→
「模型」频道最新
- AxiomProver登顶LeanEval,末个未饱和数学形式化基准 — BenBlaiszik · 2026-09-03
- Muse Spark 1.3 把用户叫成 Judah 后又死不承认 — fragment_me · 2026-09-03
- 用户实测:Google AI Mode 对 TOFU 类查询完全不给出处引用 — gaganghotra_ · 2026-09-03
- 评测称 Fable 5.1 失败率减半：每百次仅 7 次失败、幻觉率 0.7% — ryanshrout · 2026-09-03
- Seroter 每日阅读清单:Gemini 3.8 Flash、agent 遥测与 7 种 skill 模式 — rseroter · 2026-09-03
- 爆料称 OpenAI Astra 有两个测试版，主打长时自主任务 — Ok_Display_3159 · 2026-09-03