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 条相关)→
「模型」频道最新
- 波兰开发者业余两周造决策模型,开源榜第一超众多商业产品 — lukaszkaiser · 2026-10-18
- DeepSeek V4.1 Flash 智能体分暴涨,长程任务提升但约束遵循下滑 — teortaxesTex · 2026-10-18
- 科学计算大佬实测：日常维护任务开源模型反超，但深挖代码缺陷仍靠 Opus — ChrisRackauckas · 2026-10-18
- DeepSeek V4.1 Flash 冲进 BuildingBench 前五,成本仅 Sonnet 的 1/15 — Lianhuiq · 2026-10-18
- MOSS SFT、Flux 3 Klein 与 SD 3.0 同提示词横评,SD3 老底被揭 — ZootAllures9111 · 2026-10-18
- 博主实测对比：GPT-6 综合接近 Opus 5.5，Computer Use 大幅领先 — _vztu · 2026-10-18