Mistral Leanstral 1.5: Sprachmodell mit mathematischen Fähigkeiten auf „hohem Niveau“
Freie Nutzung von Text & Abbildungen & Audio mit einem Unidigital-Zugang
Mit Leanstral 1.5 hat Mistral AI ein neues Sprachmodell veröffentlicht, das auf mathematische Beweise spezialisiert ist und bei ausgewählten Benchmarks auf „Top-Uni-Niveau“ performen soll. Das LLM ist Open Source und kann im AI Studio kostenlos getestet werden. Das französische Startup aus Paris entwickelt mittlerweile auch in der Breite hochwertige Modelle.
Audio erstellt mit ElevenLabs und der Erzählstimme „Bella“
Um das Mathe-LLM Leanstral 1.5 direkt zu testen, nutze ich das AI Studio von Mistral, klicke links im Menü auf „Agenten“ und anschließend auf „Playground“. Hier lassen sich im Rahmen eines individuell konfigurierbaren KI-Assistenten (Agenten) verschiedene Modelle wie Mistral Large, Medium, Small oder Devstral und Leanstral auswählen.
Oben im Playground, rechts neben der Bezeichnung „Modell“, kann ich über ein Drop-Down-Menü ein Sprachmodell als Grundlage für den Agenten festlegen und jederzeit wechseln. Bei Leanstral wird automatisch das jeweils aktuelle Modell zur Verfügung gestellt. Gibt es ein Update, wird die Auswahl von den Mistral-Entwicklern direkt angepasst.
Als Systemprompt habe ich die einfache Anweisung „Löse mathematische Probleme“ eingefügt. Auf der rechten Seite des AI Studios lässt sich unten in die Promptleiste eine mathematische Aufgabe hineinkopieren. Im Beispiel wurde ein Gleichungssystem mit drei Variablen ausgewählt, das mithilfe des Gauß-Algorithmus und Eliminierungen gelöst werden soll. Hierbei geht es um eindeutige Werte für die Unbekannten x, y und z.
Nach wenigen Sekunden präsentiert das Mathe-LLM auf der rechten Seite die vollständigen Berechnungen und eindeutigen Werte für die Variablen x, y und z. Da meine Kenntnisse im Bereich der Matrizenrechnungen nicht mehr auf dem aktuellen Stand sind, habe ich das Ergebnis über die drei Chatangebote von ChatGPT, Gemini und Claude überprüfen lassen 😉 Die Berechnungen scheinen korrekt zu sein. Super!
Generell lohnt es sich, den Playground von Mistral AI regelmäßig zu besuchen, um unter anderem die Vielzahl der angebotenen Sprachmodelle fernab von klassischem Textoutput zu testen. Mistral erweitert auch im Bereich der Mathematik sein Modellangebot und es ist davon auszugehen, dass diese wie bei der Konkurrenz kontinuierlich verbessert werden.
Autor
