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
- MissionReport benchmark: only 3 of 540 AI-generated government reports pass all criteria — Exp_Mark · 2026-10-27
- Local beats cloud: Qwen 3.8 FN handles private student data as well as frontier models — dr_lm · 2026-10-27
- Aidan Gomez: model's CoT said no tool calls right before making them — aidangomez · 2026-10-27
- Nat Lambert: Cohere's model is narrow RL training on internal infra ill-suited for open weights — natolambert · 2026-10-27
- OpenAI teases DOTS is coming to Europe 'soon' — mark_k · 2026-10-27
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27