Mistral AI libère Leanstral 1.5, un modèle IA pour les preuves formelles

Mistral AI publie Leanstral 1.5 sous licence Apache 2.0. Ce modèle résout 587 des 672 problèmes du concours Putnam et détecte des bugs dans le code. Il ouvre la voie à des applications en mathématiques et en vérification logicielle.