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 : une avancée technologique majeure
Mistral a récemment annoncé le lancement de son dernier modèle d'intelligence artificielle, le Mistral Small 4. Ce modèle, sous licence Apache 2, est doté de 119 milliards de paramètres grâce à une architecture Mixture-of-Experts, dont 6 milliards sont activement utilisés. Cette avancée marque une étape significative dans le domaine de l'IA.
Le Mistral Small 4 se distingue par sa capacité à intégrer les fonctionnalités de trois modèles phares de Mistral : Magistral, axé sur le raisonnement, Pixtral, spécialisé dans le multimodal, et Devstral, conçu pour le codage agentique. Cette intégration en fait un modèle polyvalent capable de répondre à divers besoins.
Fonctionnalités et capacités
Le modèle propose deux niveaux d'effort de raisonnement : reasoning_effort="none" et reasoning_effort="high", ce dernier offrant une verbosité comparable aux précédents modèles de Magistral. Mistral Small 4 est disponible sur la plateforme Hugging Face, où il occupe 242 Go.
Lors de tests effectués via l'API de Mistral, le modèle a démontré sa capacité à générer des contenus complexes, bien que la documentation actuelle ne permette pas encore de définir l'effort de raisonnement, une fonctionnalité attendue dans les futures mises à jour.
Leanstral : un modèle pour le langage Lean 4
En parallèle, Mistral a également lancé Leanstral, un modèle à poids ouverts conçu spécifiquement pour le langage de codage formellement vérifiable Lean 4. Bien que l'auteur n'ait pas exploré Lean en profondeur, l'initiative de Mistral de cibler un langage spécifique souligne leur engagement à diversifier les applications de l'IA.
Ces développements témoignent de l'engagement de Mistral à repousser les limites de l'intelligence artificielle, en offrant des outils puissants pour le raisonnement, la multimodalité et le codage.
