Tu veux les meilleurs outils IA avant les autres ?
On teste et on décrypte les nouveaux outils IA chaque soir, en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
Mistral Small 4 : un modèle hybride et dynamique
Mistral AI a récemment dévoilé son dernier modèle, Mistral Small 4, qui se distingue par son architecture hybride optimisée pour diverses applications telles que le chat généraliste, le coding, les tâches agentiques et le raisonnement complexe. Ce modèle s'adresse principalement aux développeurs, chercheurs et entreprises, intégrant des capacités auparavant réparties entre plusieurs modèles distincts : la génération de texte, le raisonnement et l'analyse d'image.
Basé sur une architecture Mixture of Experts (MoE), Small 4 comporte 128 experts, dont seulement 4 sont activés par token, permettant ainsi une mise à l'échelle et une spécialisation efficaces. Il contient 119 milliards de paramètres et offre une fenêtre de contexte de 256 000 tokens. Mistral AI annonce une réduction de 40 % de la latence et un débit trois fois supérieur à celui de Small 3.
Le modèle, entièrement open source, permet aux utilisateurs d'ajuster dynamiquement son comportement grâce au paramètre reasoning_effort. Ce dernier, réglé sur "none", offre des réponses rapides similaires à Small 3, tandis que sur "high", il propose un raisonnement plus approfondi. Small 4 est disponible sous licence Apache 2.0 via l'API Mistral, AI Studio et Hugging Face.
Leanstral : un agent de code innovant
Parallèlement, Mistral AI a lancé Leanstral, le premier agent de code open source conçu pour Lean 4. Cet assistant de preuve formelle est capable de vérifier des spécifications mathématiques et logicielles complexes. Leanstral vise à permettre aux développeurs de déléguer non seulement la génération de code, mais aussi la démonstration de sa conformité aux spécifications attendues.
Leanstral est intégré dans Mistral Vibe et est accessible immédiatement sans configuration supplémentaire. Les utilisateurs peuvent le tester en utilisant simplement la commande /leanstall.
Forge : une plateforme sur mesure pour l'IA
Mistral AI a également introduit Forge, une plateforme conçue pour permettre aux entreprises de créer des modèles d'IA de pointe à partir de leurs propres données et connaissances. Forge couvre trois phases du cycle de développement : le préentraînement sur de grands volumes de données propriétaires, le post-entraînement pour affiner le comportement sur des tâches spécifiques, et l'apprentissage par renforcement pour aligner les modèles sur des politiques internes.
Cette plateforme permet aux organisations de former des modèles qui comprennent leur contexte interne, optimisant ainsi leurs performances selon leurs contraintes spécifiques. Forge supporte les architectures denses et MoE, ainsi que les entrées multimodales. Déjà utilisée par des partenaires tels que l'Agence spatiale européenne, Ericsson, ASML et Reply, l'accès à Forge se fait sur demande via un formulaire de contact.
