06.07.2026 18:27 Uhr, Quelle: Heise

Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source

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.

Weiterlesen bei Heise