Models · Mistral AI News · Update
Leanstral 1.5: Proof Abundance for All
Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers a major performance upgrade in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and achieving state-of-the-art results on FATE-H (87%) and FATE-X.
- Why it matters
- This update may affect model choice, API planning, eval coverage, or production rollout timing. Verify constraints, benchmark context, rollout timing, and practical fit in the primary source.
- Technical delta
- Technical impact depends on source details, integration surface, evaluation evidence, and operational constraints.
- Business delta
- Models update may influence vendor choice, tooling roadmap, or adoption timing.
- Risk delta
- Lower evidence risk: the item links to a primary source, but benchmark and vendor-performance claims still need context.
- Primary source
- https://mistral.ai/news/leanstral-1-5/
Source notes
- Primary source note: verify the benchmark details for Leanstral 1.5: Proof Abundance for All before planning around it.