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
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- GPT-5.6 writes well but is instantly forgettable, user complains — BasedRaddka · 2026-09-11
- Opus Refuses Protein Research Codebase Over 'Safety' Concerns, Dev Considers Rolling His Own — josephdviviano · 2026-09-11
- User Hails Unconfirmed 'DeepSeek 4.1 Flash' as an Inflection Point in LLMs — himanshustwts · 2026-09-11
- Terminal Bench v4: GLM-5.3 Leads at 41.9%, Kimi-K3 Underwhelms at 12.6% — Ok_Warning2146 · 2026-09-11
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 2026-09-11