Zurück zur Übersicht
Das Open-Source-Modell erreicht Spitzenwerte bei Benchmarks für formale Beweise und Codeverifikation und wird unter Apache-2.0-Lizenz frei verfügbar gemacht.
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.
Weiterlesen
Das Modell liefert strukturierte Extraktion aus PDFs und Bildern, inklusive Paragraph-Bounding-Boxes, Blockklassen und Inline-Konfidenzen. Mistral nennt Benchmarkerfolge und bietet Bereitstellungsoptionen bis hin zu On-Premises.
Das französische KI-Unternehmen verknüpft Infrastrukturaufbau mit der Debatte um militärische Nutzung. Mit dem Standort in Les Ulis und neuen Kunden wie Airbus schärft Mistral seinen Anspruch auf industrielle Relevanz.
Das französische Unternehmen veröffentlichte am 28. Mai die Zusammenfassung seines AI Now Summit 2026. Es nennt Airbus, BMW Group und ASML als Partner für „Mistral for Industrial Engineering“ und plant in Les Ulis einen 10-MW-Standort für Inferenz.
Die Partnerschaft soll KI in internen Prozessen, Entwicklung und ausgewählten Anwendungen bei Airbus verankern. Betroffen sind unter anderem Commercial Aircraft, Helicopter, Defence und Space.