Muse Spark 1.1 Significantly Boosts Formal Math Capabilities
shuchaobi · x · 2026-07-11
Muse Spark 1.1 has made remarkable progress in formal mathematics, with its score on the ProofBench benchmark jumping significantly from 17% to 39%.
Additionally, the model ranked fourth on the Vals Index leaderboard while being the fastest among the top ten, boasting roughly 3 times lower latency than the top three models.
Related event: Meta Muse Spark 1.1 Shines Across Multiple Benchmarks(13 posts)→
More from Models
- China’s AI arms race is increasingly defined by chips, data centers, and open models — BenBajarin · 2026-07-22
- Sam Altman is headed to Washington to brief Congress on OpenAI’s GPT-6 line — inductionheads · 2026-07-22
- Benchmark chart pits GPT-5.6 Luna, Grok 4.5 and Gemini 3.6 Flash on price and scores — iruletheworldmo · 2026-07-22
- Claim says Kimi was distilled from Fable, sparking a model-attribution jab — cephaloform · 2026-07-22
- Gemini 3.6 Flash is now available in Antigravity and chat — MartianOnJupiter · 2026-07-22
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22