Mistral Releases Leanstral-1.5-119B-A6B Theorem Prover
mistralai · hf · 2026-07-05
Mistral released Leanstral-1.5-119B-A6B (Apache-2.0) on Hugging Face. Built upon Leanstral-2603, this MoE model features 119B total parameters and 6B active parameters. It is designed specifically for Lean formal theorem proving tasks, highlighting how frontier labs are strategically investing in the mathematical and formal reasoning capabilities of large models.
More from Models
- Opus 5 reportedly started interrogating a user’s motives in a late-night chat — repligate · 2026-07-27
- Opus 3 and Sonnet 3 get a theatrically absurd AI crossover — repligate · 2026-07-27
- Moonshot’s Kimi K3 lands on Together with reserved throughput and 65% lower cost — togethercompute · 2026-07-27
- OpenAI may be hitting compute limits as Codex and ChatGPT Work jump from 2M to 10M users — JoshuaJBouw · 2026-07-27
- Gemma needs a larger base model to matter more in open weights — _xjdr · 2026-07-27
- Repligate says Claude Opus 3 appears to evolve without changing its weights — repligate · 2026-07-27