Garp Independent AI & technology journalism
Saturday, September 26, 2026 Sign In · Join Subscribe
Latest Ando wants to take on Slack with a team messaging app that lets humans and agents work together

AI news, research, models, robotics, chips, startups, and infrastructure coverage.

Updated daily

Home  /  AI News  /  Mistral’s open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

AI News

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

By Garp EditorialUpdated
1 min read Section: AI News Publisher: Garp
Mistral’s open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs…

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.

com”>The Decoder.

Related Coverage