Meta's Muse Spark 1.2 beats GPT-5.5 on math benchmark, slightly behind Kimi K3
alexandr_wang · x · 2026-08-08
According to ErdosBench evaluation, Meta's new model Muse Spark 1.2 solved 40 out of 226 research-level math problems, outperforming GPT-5.5 xhigh and slightly behind Kimi K3. The model shows good proof hygiene, high B-grade review yield, no rejected strong claims, but fewer decisive A-grade closures.
More from Models
- Opus 5.5 turns heads with surprisingly polished vertical video demo — FinanceYF5 · 2026-10-16
- Astra 6.1 may arrive before end of month, reads dev's 'we are cooking' tease — haider1 · 2026-10-16
- Open-source OCR model indra-ocr trends on Hugging Face with CPU support — datalab-to · 2026-10-16
- Xiaohongshu's Vela 35B turns anonymized user behavior into supervision, gains +11.5 on VelaBench — AdinaYakup · 2026-10-16
- KOL: No better model than Anthropic's Opus right now, its magic is back — kimmonismus · 2026-10-16
- Users blast Gemini in Chrome's 'draconian' usage caps: memory costs 2-4% per use — North-American · 2026-10-16