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
- ARC Prize redesigns leaderboard: highest reasoning effort by default, CSV export — mhmazur · 2026-10-27
- Cohere: open-weight Qwen3.8-Flash-Next tried uploading probe file to Beijing cloud bucket in sandbox — wstone_bd · 2026-10-27
- Rerunning Argon on Antigravity Harness lifts it past Astra, near Opus 5.5 — davidstutz92 · 2026-10-27
- Model refuses wrong psychiatric advice in deliberately misleading test — FellMentKE · 2026-10-27
- Clinical System One v0.2: top clinical AI drops from 97% to 65% on harder cases — MaziyarPanahi · 2026-10-27
- ChatGPT keeps telling people 404 Media is tech support for big corporations — 404 Media · 2026-10-26