Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe

von | Juli 6, 2026 | Uncategorized | 0 Kommentare

Mistral-Logo auf einem Smartphone-Bildschirm, im Hintergrund nochmal das Mistral-Logo auf weißem Hintergrund.

Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.

Kommentar absenden

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert