Why it matters

Mistral releases open-source model that finds real-world software bugs

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

Mistral AI released Leanstral 1.5, an open-source model designed for formal verification and mathematics. During testing, the model successfully identified five previously unknown bugs across dozens of open-source repositories.