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.
Der Kommentarbereich wird geladen, sobald du ihn erreichst.
Weiterlesen
Marlan Space und Loft Orbital haben in Paris ein Investitionsprogramm für die Satellitenkonstellation Altair Next Gen angekündigt. Die Systeme sollen Sensordaten bereits im Orbit mit KI auswerten und innerhalb von Sekunden Warnungen ausgeben.
Samsung Electronics führt die Finanzierungsrunde an. Die Bewertung des französischen KI-Unternehmens steigt auf mehr als 21 Milliarden Euro.
Das 8-Milliarden-Parameter-Modell navigiert Roboter per natürlichem Sprachbefehl und einem einzelnen RGB-Kamerabild. Laut Mistral erreicht es 76,6 Prozent auf dem R2R-CE-Benchmark (validation unseen) und übertrifft frühere Einzelkamera-Ansätze.
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.