Mistral AI lance Leanstral 1.5 : 587 problèmes résolus, code open-source 2026
Mistral AI lance Leanstral 1.5, un modèle open-source résolvant 587/672 problèmes du benchmark PutnamBench. Gratuit et spécialisé pour Lean 4, il cible la vérification de code et les preuves mathématiques. Une avancée majeure pour l’IA européenne.