Mistral AI·· 2026-07-02sélectionAI Score74
Mistral AI publie Leanstral 1.5, modèle de vérification formelle Lean 4
Leanstral 1.5: Proof Abundance for All
AI Introduction
Mistral AI publie Leanstral 1.5, un modèle gratuit sous licence Apache-2.0 de 119B de paramètres totaux et 6B actifs。
Raison de la recommandation
Leanstral 1.5 est publié sous licence Apache-2.0 avec 6B de paramètres actifs, des scores sur miniF2F, PutnamBench et FATE, et la découverte de bugs inédits.
Source :Mistral AI · mistral.ai