Mistral veröffentlicht Leanstral 1.5 mit neuen Bestwerten in formaler Verifikation

Mistral AI hat am 2. Juli 2026 das Open-Source-Modell Leanstral 1.5 veröffentlicht. Laut Hersteller löst das Modell 587 von 672 Aufgaben des PutnamBench und erreicht damit neue Spitzenwerte in Benchmarks für formale Beweise und Codeverifikation.

Leanstral 1.5 wird unter Apache-2.0-Lizenz verteilt und hat nach Mistral-Angaben 119 Milliarden Parameter, davon rund 6 Milliarden aktive Parameter. Gegenüber Vorgängern verbessert sich die Code-Performance (pass@1 von 21.9 auf 28.9; pass@8 von 31.9 auf 43.2). Mistral nennt außerdem vollständiges Abschneiden auf miniF2F und neue Bestwerte auf FATE-H/X.

Mistral gibt die Kosten pro gelöstem Putnam-Problem mit etwa 4 US-Dollar an. Die Gewichte stehen auf Hugging Face zur Verfügung, und das Modell ist als kostenloser API-Endpoint leanstral-1-5 erreichbar, was den Einsatz in Forschung und Praxis erleichtert.