Mistral Open-Sources Leanstral 1.5
dl_weekly · x · 2026-07-11
Mistral has open-sourced Leanstral 1.5.
The post highlights its strong performance across multiple benchmarks:
- Achieving saturation on miniF2F
- Solving 587 out of 672 problems on PutnamBench
- Setting a new SOTA on FATE-H/X
Furthermore, this version uncovered 5 previously unknown bugs across 57 testing repositories, proving that it offers not just higher scores but also practical code auditing and issue discovery capabilities.
More from Models
- Kimi K3.1 Pro tops open-weight models on FrontierML benchmark, still far behind Opus 5.5 — teortaxesTex · 2026-10-27
- Open Models Match GPT-6 on MedMCQA but Trail 17 Points on Hard Clinical Cases — keunwoochoi · 2026-10-27
- Health-Focused Benchmark Reranks LLMs: Muse Spark Open Jumps from #9 to #1 — keunwoochoi · 2026-10-27
- DeepSeek cut KV cache per token from 389KB to 890B in two years as open-closed gap debate rages — teortaxesTex · 2026-10-27
- GPT-6 Astra controls dexterous hands zero-shot at just 5.2% success in 500 trials — stingning · 2026-10-27
- Unverified: fable 5.5 speculated at 4-5T parameters to outscale 1-3T Opus — haider1 · 2026-10-27