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

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.