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

Mistral AI veroffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell lost laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.