Leanstral 1.5 de Mistral AI excelle en mathématiques et détecte des bugs
Mistral AI a lancé Leanstral 1.5, un modèle open-source qui excelle en vérification formelle mathématique et a découvert cinq bugs inédits dans des dépôts de code.
Mistral AI a lancé Leanstral 1.5, un modèle open-source qui excelle en vérification formelle mathématique et a découvert cinq bugs inédits dans des dépôts de code.
Le média francophone de référence sur l'intelligence artificielle. Analyses, tutoriels et décryptages pour comprendre l'IA.