Le 16 mars 2026, sur la scène du GTC de NVIDIA, Mistral AI a enchaîné les annonces stratégiques. En une journée, la startup française a présenté un nouveau modèle unifié, rejoint une coalition internationale dédiée à l’open source et dévoilé un agent spécialisé dans la vérification formelle. Une séquence dense, confirmée par les communiqués officiels et les analyses de TechCrunch, Tom’s Hardware ou encore NVIDIA, qui marque une nouvelle étape dans l’ascension fulgurante de l’entreprise parisienne.
Small 4 : le modèle unifié qui veut s’imposer dans les entreprises
Première annonce : Mistral Small 4, un modèle Mixture of Experts de 119 milliards de paramètres, dont seulement 6 milliards activés par requête. Cette architecture unifiée regroupe les briques de raisonnement avancé, de multimodalité et de génération de code issues des précédents modèles de la marque.
Les gains annoncés sont significatifs :
- latence réduite de 40 %,
- débit triplé par rapport à Small 3,
- fenêtre de contexte portée à 256k tokens,
- raisonnement ajustable selon le niveau de complexité souhaité.
Disponible via l’API Mistral, Hugging Face et les conteneurs NVIDIA NIM, Small 4 vise clairement les déploiements industriels à grande échelle.
Nemotron Coalition : une alliance internationale pour l’open source
Deuxième temps fort : l’entrée de Mistral dans la Nemotron Coalition, une initiative lancée par NVIDIA pour structurer un écosystème de modèles open source de niveau “frontier”. Aux côtés de Cursor, Perplexity, Black Forest Labs, LangChain, Reflection AI, Sarvam et Thinking Machines Lab, Mistral participera au développement de Nemotron 4, premier modèle issu de cette collaboration.
Entraîné sur le cloud DGX de NVIDIA et enrichi des techniques de Mistral, Nemotron 4 sera publié sous licence ouverte. Objectif : permettre aux entreprises, institutions et chercheurs d’adapter librement le modèle à leurs besoins. Arthur Mensch résume l’ambition : « Construire ensemble les fondations que l’industrie pourra adapter. »
Leanstral : un agent dédié à la preuve formelle
Troisième annonce : Leanstral, un modèle conçu pour la preuve formelle de code avec Lean 4. Avec 6 milliards de paramètres actifs, il génère du code accompagné de sa démonstration mathématique vérifiable automatiquement. Sur le benchmark interne FLTEval, il atteint un score de 26,3, tout en restant plus économique que les modèles généralistes.
Déjà testé dans l’environnement Mistral Vibe, Leanstral cible un enjeu clé du développement logiciel : la fiabilité du code et la réduction des relectures humaines.
Une stratégie d’ensemble qui se précise
Tous les modèles annoncés sont publiés sous licence Apache 2.0, confirmant l’ancrage open source de Mistral. Ces annonces s’ajoutent à une série de mouvements récents : partenariats publics, acquisition de Koyeb, investissements dans des datacenters en France et en Suède.
En resserrant ses liens avec NVIDIA tout en affirmant son indépendance, Mistral entend positionner l’Europe comme un acteur crédible face aux géants américains. Les prochains mois seront déterminants, avec les premiers retours sur Nemotron 4 et l’adoption de Small 4 par les développeurs.
