Mistral lance Leanstral 1.5, un modèle open-source pour la vérification formelle en Lean 4 | Factae🤖Mistral lance Leanstral 1.5, un modèle open-source pour la vérification formelle en Lean 4
Leanstral 1.5, modèle open-source de Mistral AI, excelle dans les benchmarks mathématiques formels sous Lean 4.
Publié 1sem·1 médiaNotable
Le fait
Le modèle a identifié cinq bugs inconnus en analysant 57 dépôts open-source, démontrant son utilité pratique.
Outil dédié à la vérification formelle, combinant performance théorique et détection concrète d'erreurs.
🔗Cliquez sur le lien pour lire l'article d'origine :
Toute l'actualité du jour sur Factae→Synthèse automatisée à partir de 1 média · identifié le 4 juillet 2026