Mistral lance Leanstral 1.5, modèle open-source pour vérification formelle
Mistral AI a publié Leanstral 1.5, un modèle open-source gratuit sous licence Apache 2.0 conçu pour la vérification formelle dans Lean 4. Il obtient 100% sur le benchmark mathématique miniF2F et a détecté 5 bugs inconnus dans des dépôts open-source.