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
- Grok 4.5 is now free inside Cursor, the popular AI coding IDE — mark_k · 2026-07-21
- GPT often converges on the same near-miss ideas in math problems — yacineMTB · 2026-07-21
- Eno Reyes says model distillation is basically unstoppable — LangChain · 2026-07-21
- Sakana says multiple diffusion models plus MCTS beat test-time scaling on coding and math — SakanaAILabs · 2026-07-21
- OpenAI hackathon project stalls as Codex struggles on voice, while Claude spots the issue — ColleenMBrady · 2026-07-21
- Kimi K3 lands exactly on China’s 2-year AI capability trend line — peterwildeford · 2026-07-21