La licorne française de l’intelligence artificielle Mistral AI a annoncé le rachat de SkipLabs, une start-up spécialisée dans les langages de programmation et la vérification de code. L’opération, dont le montant n’a pas été dévoilé, vise un objectif précis : rendre fiable le code que les agents d’IA écrivent de plus en plus souvent à la place des développeurs humains.
SkipLabs a été fondée par Julien Verlaguet, un ancien ingénieur de Meta. Son équipe de six personnes travaillait sur des sujets de pointe en conception de langages informatiques : compilateurs, systèmes de typage, analyse statique et calcul incrémental. Avant cette acquisition, la start-up développait notamment Skip, un framework open source dédié à la programmation réactive. Ces six ingénieurs rejoignent désormais une nouvelle division baptisée « Language », placée sous la direction de Guillaume Lample, cofondateur et directeur scientifique de Mistral AI.
Pourquoi la fiabilité du code devient un enjeu central
Les modèles d’IA générative savent désormais produire du code applicatif en quelques secondes. Mais cette rapidité pose une question de confiance : comment s’assurer qu’un programme écrit par une IA ne contient pas d’erreur silencieuse, de faille de sécurité ou de comportement imprévu ? C’est précisément ce que l’équipe Language doit outiller chez Mistral, en construisant des mécanismes de vérification capables de contrôler automatiquement le code généré par les agents de programmation, avant même qu’un humain ne le relise.
Cette approche diffère des outils marketés comme de simples « assistants de code ». Il s’agit plutôt de bâtir une couche de contrôle qui intervient à chaque étape : lors de l’entraînement du modèle, pendant son évaluation, puis au moment où un agent IA écrit et vérifie lui-même son propre programme.
Une cinquième acquisition en un an pour Mistral
SkipLabs est la cinquième société rachetée par Mistral AI depuis janvier 2026. L’entreprise avait auparavant mis la main sur Koyeb (infrastructures cloud), Emmi AI, start-up autrichienne spécialisée dans la simulation industrielle, Pimento dans le marketing, puis New Material sur la conception de produits. Cette série d’opérations traduit une stratégie assumée : plutôt que de tout développer en interne, Mistral absorbe des équipes de niche pour accélérer sur des briques technologiques précises.
- SkipLabs : langages, compilateurs et vérification de code
- Koyeb : infrastructures cloud
- Emmi AI : simulation industrielle
- Pimento : outils marketing
- New Material : conception de produits
Pour Mistral, l’enjeu dépasse la simple collecte de talents. Face à ChatGPT et à Claude, tous deux déjà très présents sur le marché des outils de programmation assistée, la société française cherche un angle différenciant : garantir que le code produit par ses modèles reste vérifiable et sûr, plutôt que de se contenter d’une génération plus rapide. C’est un pari qui s’inscrit dans un mouvement plus large où l’intelligence artificielle s’impose dans des secteurs très concrets, comme le montre par ailleurs l’adoption croissante de l’IA dans les PME françaises.
Le secteur du développement logiciel assisté par IA a d’ailleurs connu plusieurs mouvements marquants ces derniers mois, à l’image du rachat de l’éditeur de code Cursor, qui illustre l’appétit des géants technologiques pour les outils de programmation dopés à l’IA. Ce climat d’acquisitions multiples s’inscrit également dans une dynamique plus large de recherche de souveraineté technologique pour les acteurs français du numérique.
Questions fréquentes
Qu’est-ce que l’équipe « Language » chez Mistral AI ?
C’est la nouvelle division formée par les six ingénieurs de SkipLabs, dirigée par Guillaume Lample. Elle travaille sur les langages de programmation, les compilateurs et les outils de vérification du code généré par les agents d’intelligence artificielle de Mistral.
Combien Mistral a-t-il payé pour racheter SkipLabs ?
Le montant de la transaction n’a pas été communiqué par les deux entreprises. Il s’agit néanmoins de la cinquième acquisition de Mistral AI depuis le début de l’année 2026.
Pourquoi vérifier le code écrit par une intelligence artificielle ?
Les modèles d’IA peuvent produire du code syntaxiquement correct mais porteur d’erreurs logiques, de failles de sécurité ou de comportements inattendus. Des outils de vérification automatisée, comme ceux que développe désormais l’équipe Language, permettent de détecter ces problèmes avant la mise en production.
Sources
Le Monde Informatique —
Maddyness —
Usine Digitale
Cet article a été rédigé avec l’aide d’une intelligence artificielle. Politique éditoriale
