Blog
Actualités, tutoriels et perspectives sur l'IA
Actualités, tutoriels et perspectives sur l'IA
Mistral AI dévoile Leanstral, le premier agent open source pour Lean 4, surpassant les modèles fermés sur la vérification de code et les preuves mathématiques.