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

Mistral AI has released Leanstral 1.5, an open-source language model specifically trained for formal verification in the Lean 4 programming language. By applying rigorous mathematical logic to software analysis, the model successfully identified five previously unknown bugs across 57 open-source code repositories.