Muse Spark 1.1 Leads in Benchmark Performance
alexandr_wang · x · 2026-07-13
Alexandr Wang shared new evaluation results from theoretical computer science/finite model theory: Muse Spark 1.1 outperforms Opus, Grok 4.5, and Gemini on this benchmark.
The cited benchmark specifies that models are given several small graphs and must output a first-order logic formula describing the properties of designated nodes across multiple graphs simultaneously. The evaluation consists of 64 questions, heavily focusing on inductive reasoning and formal expression capabilities.
More from Models
- Kimi K3.1 Pro tops MathArena open models, closing frontier gap to about 6 months — teortaxesTex · 2026-10-26
- Ruff creator Charlie Marsh: frontier models find infinite bugs in any software — charliermarsh · 2026-10-26
- Dev testing one skill across Opus 5.5 and Sol 6.1 finds instruction following 'all over the map' — lucasmeijer · 2026-10-26
- supermemory unveils learner-1, claiming continual learning for any model — julianweisser · 2026-10-26
- Anthropic says Opus 5.5 cuts cost per task by ~40% vs Opus 5 — taufiqintech · 2026-10-26
- AI search APIs ranked: top 12 within 7 points, yet prices differ nearly 7x — FinanceYF5 · 2026-10-26