Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

https://the-decoder.com/wp-content/uploads/2026/07/mistral_ai-3.png" style="height: auto; margin-bottom: 10px;" width="2048" />

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4.

Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.

The article https://the-decoder.com/mistrals-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real-bugs-in-code/">Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code appeared first on https://the-decoder.com">The Decoder.