Mistral AI dévoile Small 4, Leanstral et Forge : ce qu’il faut retenir des annonces

Mistral AI dévoile Small 4, Leanstral et Forge : ce qu’il faut retenir des annonces

Mistral Small 4, un modèle hybride dont le comportement peut être ajusté dynamiquement

Désigné 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, Mistral Small 4 s'adresse prioritairement aux développeurs, chercheurs et entreprises. Ce modèle 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.

Mistral indique une réduction de 40 % de la latence et un débit multiplié par trois par rapport à Small 3.

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. 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 claire : 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éalentraînement sur de grands volumes de données propriétaires
• post-entraînement pour affiner le comportement sur des tâches spécifiques
• 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é précise 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.