Mistral veröffentlicht Mathe-KI „Leanstral" als Open Source
Mistral aus Frankreich bringt ein KI-Modell, das Mathe richtig kann – und gibt es kostenlos her.
„Leanstral 1.5" ist speziell auf mathematische Beweise und formale Logik trainiert und soll in ausgewählten Benchmarks schon „Top-Uni-Niveau" erreichen.
Das Modell ist Open Source und kann im Mistral AI Studio sofort getestet werden.
Warum ist das wichtig?
Solche spezialisierten Modelle sind Gold wert für formale Verifikation, Code-Analyse und wissenschaftliche Forschung.
Statt ein riesiges Allzweck-Modell zu nehmen, das bei allem mittelmäßig ist, bekommt ihr hier ein fokussiertes Werkzeug, das in seinem Bereich richtig stark ist.
Und: Mistral stärkt damit Europas Position im KI-Wettbewerb.
Der Trend geht klar zu domänenspezifischen Modellen – und das hier ist ein richtig starkes Beispiel dafür.
