Falls Du nie einen Kampf des Krieges erlebt hast, nie die Einsamkeit durch Gefangenschaft, die Agonie des Gequälten, oder Hunger gespürt hast, dann bist Du glücklicher als 500 Millionen Menschen der Welt.
Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe
« am: 06.07.2026, 19:19:07 »
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.
