Mistral releases Leanstral 1.5, an Apache-2.0 licensed model.

Core summary

One sentence to understand this update

Mistral has released Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters that shows significant performance upgrades in formal verification and problem-solving benchmarks.

Impact & opportunity

What this could mean

Developers looking for open-source, high-performance models in formal verification and complex problem-solving now have a powerful new option with Leanstral 1.5.