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

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

Shutterstock 2430993715 Bcb0267ed98b20ed

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.

Ähnliche Beiträge

Schreibe einen Kommentar

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