Skip to content
AI IntelligenceJul 4, 2026AI Intelligence
Article

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

It solves complex math problems and found five previously unknown bugs while scanning 57 open-source repositories.

Data Cube AI EditorialSource: Mistral AI
01

Source Brief

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. It solves complex math problems and found five previously unknown bugs while scanning 57 open-source repositories.

02