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.
heise.de/news/Leanstral-1-5-Mi…
#Automatisierung #IT #KünstlicheIntelligenz #MachineLearning #Mathematik #OpenSource #Rust #news