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

(http://newsparadies.de/images/board/x31.gif)

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.
Quelle: 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

(http://www.netzausfall.de/wp-content/heise.jpg)

Stichworte: Automatisierung, IT, Künstliche Intelligenz, Leanstral, Machine Learning, Mathematik, Mistral AI, Open Source, Rust

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

News => Welt-Ticker => Thema gestartet von: heise am 06.07.2026, 19:19:07