Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe from Heise's blog

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.

Source: https://www.heise.de/news/Leanstral-1-5-Mistrals-KI-Modell-fuer-formale-Beweise-ist-Open-Source-11355236.html?wt_mc=rss.red.ho.ho.rdf.beitrag.beitrag