Mistral Prover hits 82.61% verified solutions on MathArena's ArXivLean benchmark
AlbertQJiang · x · 2026-09-11
MathArena added Mistral Prover (Leanstral 1.5 + light K3 orchestration), scoring 38/46 verified solutions (82.61%) on ArXivLean June 2026, beating GPT-6 Astra. AlbertQJiang notes the score comes mostly from heavy grinding by the 6B Leanstral 1.5, and suspects token counting on the leaderboard is erroneous. Work by intern Matéo Pirio Rossignol, mentored by Roman Soletskyi. MathArena also added Fable 5.1 (max) and Qwen3.8-Max on Sept 7.
Related event: 6B Open-Source Leanstral 1.5 Beats GPT-6 Astra on ArXivLean(4 posts)→
More from Models
- Tencent releases Hy-SimulMT: real-time speech-to-speech translation with ~3s latency — _akhaliq · 2026-10-28
- Meta's Omnilingual MT covers 1,600 languages, 1B–8B models rival 70B LLMs — kalyan_kpl · 2026-10-28
- Uncensored LFM3-1.7B GGUF weights released on Hugging Face — kalyan_kpl · 2026-10-28
- Token demand on OpenRouter grew 27x to 165T weekly, open models now serve 72% — FinanceYF5 · 2026-10-28
- Tesla Optimus 'robot university' leak: 40-camera mocap suits, 24/7 data ops for months — Scobleizer · 2026-10-28
- Letta's FrontierMemory leaderboard: Letta Dream tops at 73.3%, beating OpenAI and Claude agents — afurgs · 2026-10-28