Mistral lance Leanstral 1.5, un modèle léger optimisé pour l'efficacité

Mistral AI annonce Leanstral 1.5, un modèle spécialisé dans la vérification formelle de preuves mathématiques via le langage Lean, visant à démocratiser ces outils auprès des chercheurs et développeurs. Le modèle est également conçu pour l'efficacité : léger, optimisé pour des déploiements à ressources contraintes, il cherche un équilibre entre performance et coût d'inférence. La fiche technique est disponible dans la documentation officielle Mistral.