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
- Together AI sits down with Meta to explain Muse Spark Open — togethercompute · 2026-10-27
- GPT-6.1 Terra hits ~60% on Agents' Last Exam at $1/task, 9x cheaper than Opus 5.5 — ChrisGPT · 2026-10-27
- ChatGPT keeps telling tech-support users to email 404 Media's Jason Koebler — petrusenko_max · 2026-10-27
- GPT-6.1 Terra called the awkward middle tier, priced at half of GPT-6.1 Sol — cedric_chee · 2026-10-27
- Mystery model "Terra" scores 48 on Artificial Analysis index with no public API — haider1 · 2026-10-27
- GPT-6.1 Terra (Max) Appears on Artificial Analysis Scoring 48 — theanonymousone · 2026-10-27