Mistral AI dévoile Small 4, Leanstral et Forge : ce qu’il faut retenir des annonces
En l’espace de quelques heures, la société française a enchaîné les annonces, dévoilant un nouveau modèle unifié, un agent de vérification de code et une plateforme d’entraînement de modèles d’IA à destination des entreprises.
Mistral AI étend encore son arsenal. Ces dernières heures, la firme française, connue notamment pour son agent conversationnel Le Chat, a enchaîné les annonces, présentant Small 4, un nouveau modèle hybride fusionnant les capacités de plusieurs de ses technologies, mais aussi Leanstral, un agent dédié à la vérification de code, et Forge, une plateforme permettant aux entreprises d’entraîner leurs propres modèles d’IA.
Mistral Small 4, un modèle hybride dont le comportement peut être ajusté dynamiquement
Dépeint, dans un communiqué, comme « un modèle hybride optimisé pour le chat généraliste, le coding, les tâches agentiques et le raisonnement complexe », qui s’adresse prioritairement aux développeurs, chercheurs et entreprises, Mistral Small 4 réunit dans une même architecture les capacités précédemment réparties entre plusieurs modèles : la génération de texte avec Small, le raisonnement avec Magistral et l’analyse d’image avec Pixtral. Il est basé sur une architecture Mixture of Experts (MoE), avec 128 experts au total, dont seulement 4 activés par token, ce qui permet « une mise à l’échelle et une spécialisation efficace », vante Mistral AI. En outre, il concentre 119 milliards de paramètres et sa fenêtre de contexte atteint 256 000 tokens.
L’autre particularité de ce modèle entièrement open source ? Son comportement peut être ajusté dynamiquement par les utilisateurs, via un paramètre reasoning_effort, indique Mistral AI. Réglé sur « none », il produit des réponses rapides comparables à celles de Small 3. Configuré sur « high », il bascule vers un raisonnement approfondi similaire à Magistral. Publié sous licence Apache 2.0, Mistral Small 4 est disponible via l’API Mistral, AI Studio et Hugging Face.
Leanstral, un agent capable de vérifier du code
Ce lundi, Mistral AI a également déployé Leanstral, décrit comme le premier « agent de code open source conçu pour Lean 4« , un assistant de preuve formelle capable de « vérifier des spécifications mathématiques » et « logicielles complexes », détaille l’entreprise. Derrière l’apparente technicité du projet, l’ambition est lisible : permettre aux développeurs de déléguer non seulement la génération de code, mais aussi la démonstration que celui-ci respecte bien les spécifications attendues.
Disponible « dès maintenant pour tous », Leanstral a été intégré directement dans Mistral Vibe. Il est accessible sans configuration supplémentaire. Il suffit d’utiliser la commande /leanstall pour le tester.
Forge, une plateforme pour entraîner des modèles d’IA sur des données propriétaires
Parallèlement, Mistral AI a lancé Forge, « un système conçu pour permettre aux entreprises de créer des modèles d’IA de niveau frontier à partir de leurs propres données et connaissances », explique un communiqué. La plateforme couvre trois phases du cycle de développement : pré-entraînement sur de grands volumes de données propriétaires, post-entraînement pour affiner le comportement sur des tâches spécifiques, et apprentissage par renforcement pour aligner les modèles sur des politiques internes.
Forge comble le fossé entre l’IA générique et les besoins spécifiques des entreprises. Plutôt que de s’appuyer sur des données publiques et générales, les organisations peuvent entraîner des modèles qui comprennent leur contexte interne, vante Mistral AI.
Le communiqué explique que Forge supporte les architectures denses et MoE, ce qui « permet aux organisations d’optimiser selon leurs contraintes de performance, de coût et d’exploitation », ainsi que les entrées multimodales. Selon Mistral AI, la plateforme serait déjà exploitée par plusieurs partenaires, comme l’Agence spatiale européenne, Ericsson, ASML ou Reply. L’accès à la plateforme se fait sur demande, via un formulaire de contact.
