Code Metal lève 125 millions de dollars pour la gestion matérielle pilotée par l'IA
La startup développe un logiciel pour gérer le matériel à l'aide de l'intelligence artificielle. Le tour a été mené par Salesforce Ventures.
Code Metal et 125 millions de dollars pour la vérification de code : pourquoi « écrire du code » ne suffit plus
Le cœur du sujet : pas la gestion matérielle, mais une sécurité mathématiquement prouvée
Lorsque Code Metal a annoncé la clôture d'un tour de série B de 125 millions de dollars, valorisant la société à 1,25 milliard de dollars le 19 février 2026, les gros titres ont évoqué des expressions comme « gestion matérielle pilotée par l'IA ». C'est une lecture superficielle. En réalité, Code Metal s'attaque à un défi fondamentalement différent : non pas la génération de code, mais la vérification mathématiquement prouvée pour des environnements où une erreur coûte des vies humaines.
Le terme clé ici est « approche neurosymbolique ». La plateforme ne se contente pas de générer du code à l'aide d'un grand modèle de langage. Elle décompose les programmes en composants symboliques testables et prouve mathématiquement que le code généré est fonctionnellement équivalent à l'original et ne contient aucune violation de sécurité. Ce n'est pas du « vibe coding », où un développeur fait confiance à l'intuition du modèle. C'est de la vérification formelle — une discipline qui existe dans le milieu académique depuis des décennies et qui, pour la première fois, est intégrée dans un produit commercial avec une telle capitalisation.
Le marché ciblé par Code Metal a été formulé par Rob Keith, partenaire chez Salesforce Ventures : « Les industries critiques ne peuvent pas déployer ce qu'elles ne peuvent pas vérifier. » Cette phrase résume toute la logique commerciale de l'entreprise.
Chronologie et contexte : du F-35 à 1,25 milliard de dollars en deux ans et demi
La trajectoire de Code Metal mérite une attention particulière — elle explique pourquoi l'entreprise a levé 125 millions de dollars quelques mois seulement après sa série A.
Les fondateurs — Peter Morales (CEO) et Alex Showalter-Bucher (CTO) — sont des anciens du MIT Lincoln Laboratory, où ils ont développé des systèmes de raisonnement par IA pour le chasseur F-35. Ce ne sont pas des fondateurs de startup qui ont saisi une opportunité dans le battage médiatique autour de l'IA. Ce sont des ingénieurs qui ont passé des décennies à résoudre le problème du portage et de la vérification de code pour les systèmes d'armement. Ils connaissent la difficulté de première main : lorsque les protocoles de communication par satellite doivent être mis à jour ou portés sur un nouveau matériel, lorsque des systèmes C++ hérités doivent être modernisés en Rust à mémoire sécurisée — ce travail est péniblement manuel, lent et sujet aux erreurs.
L'entreprise a été fondée en 2023. En juillet 2024, elle a levé un tour d'amorçage de 16,5 millions de dollars. Puis est venue la série A — et presque immédiatement, une série B de 125 millions de dollars menée par Salesforce Ventures, avec la participation d'Accel, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch et RTX. La composition des investisseurs est révélatrice : RTX (anciennement Raytheon) n'est pas seulement un fonds de capital-risque mais un représentant direct du secteur de la défense. Salesforce Ventures et B Capital sont des investisseurs stratégiques ayant accès aux secteurs de l'entreprise et du gouvernement.
Un mouvement de personnel notable : Ryan Aytay, ancien PDG de Tableau, a rejoint en tant que président et COO. Cela signale que l'entreprise se prépare à une expansion agressive des opérations commerciales et des ventes aux entreprises. Une personne qui a dirigé l'une des plus grandes entreprises SaaS ne rejoint pas une startup juste pour un titre.
Qui gagne et qui perd
Le secteur de la défense américain et ses sous-traitants gagnent. La liste des clients de Code Metal comprend déjà l'US Air Force, L3Harris, RTX et Toshiba. Ce ne sont pas des projets pilotes — ce sont des « programmes d'enregistrement », c'est-à-dire des programmes de défense actifs. Pour le Pentagone, qui a récemment déclaré que « développer des capacités à l'aide de l'IA redéfinira la nature des opérations militaires dans la prochaine décennie », Code Metal devient une infrastructure porteuse.
Les fabricants de puces spécialisées gagnent. Alors que le calcul se déplace vers la périphérie et le matériel spécialisé, le problème de la portabilité du code entre architectures s'intensifie. Code Metal assure cette portabilité tout en optimisant le code pour un matériel spécifique. Les fabricants de puces obtiennent un outil qui abaisse les barrières à la migration vers leurs plateformes.
Les solutions RPA traditionnelles et les assistants de codage IA « ordinaires » perdent. GitHub Copilot, Cursor et autres sont bons pour le développement web et les logiciels d'entreprise. Dans des environnements à tolérance zéro pour les erreurs, ils sont inutiles — une fonction hallucinée générée ou un cas limite non détecté pourrait coûter la sécurité nationale ou des vies humaines. Code Metal ne concurrence pas Copilot ; il crée une catégorie entièrement différente.
Les ingénieurs dont le travail est le portage manuel de code perdent. Si l'entreprise automatise la traduction entre langages de programmation avec une preuve mathématique de correction, le besoin de spécialistes qui réécrivent manuellement du C++ en Rust diminue.
Ce que les médias manquent
Aperçu un : Code Metal n'est pas une startup logicielle au sens classique. C'est une infrastructure de confiance pour un futur où les machines écrivent du code.
Le terme « approche neurosymbolique » ressemble à du marketing. Mais derrière lui se cache une architecture spécifique : l'IA générative combinée à la vérification formelle. Au lieu de prédire le jeton suivant, le système décompose un programme en composants prouvables. Ce n'est pas un Copilot amélioré — c'est une classe de produits fondamentalement différente. Si l'IA génère de plus en plus de code pour les infrastructures critiques, Code Metal devient non pas un outil mais un point de contrôle — sans sa vérification, le code n'atteindra pas la production.
Aperçu deux : Le créneau de marché de Code Metal n'est pas la « gestion matérielle » mais l'écart entre la vitesse du développement de l'IA et les exigences de sécurité.
Actuellement, cet écart est comblé par des processus manuels : revue de code, tests, méthodes formelles par des spécialistes coûteux. Code Metal automatise les méthodes formelles — un domaine qui a toujours été considéré comme trop complexe et coûteux pour une adoption de masse. S'ils ont réussi, alors 1,25 milliard de dollars est une valorisation juste. Sinon, l'entreprise s'effondrera lors des premiers audits par rapport à des normes comme DO-178C (certification de logiciel aéronautique).
Aperçu trois : Salesforce Ventures mène le tour non seulement pour un retour financier — c'est un pari stratégique sur le contrôle de la couche d'infrastructure.
Salesforce est une entreprise dont les clients exigent de plus en plus de garanties de sécurité et de conformité pour le code généré par l'IA. En plaçant leur personne (Ryan Aytay, ancien PDG de Tableau, qui a travaillé chez Salesforce pendant de nombreuses années) comme président et COO de Code Metal, ils gagnent de l'influence sur une norme de vérification qui pourrait devenir standard dans l'industrie.
Prévisions : les 30 et 90 prochains jours
30 jours (jusqu'à mi-mars 2026). Attendez-vous à l'annonce d'un nouveau contrat majeur dans la défense. 125 millions de dollars, c'est de l'argent pour passer à l'échelle, et l'entreprise utilisera les semaines à venir pour renforcer sa position à Washington. Probables également 2 à 3 recrutements clés dans l'équipe de vente aux entreprises. Aytay commencera à construire des partenariats avec des intégrateurs système — sans eux, on ne peut pas entrer dans le secteur de la défense.
90 jours (jusqu'à mi-mai 2026). L'indicateur clé est l'expansion au-delà du secteur de la défense. Automobile, semi-conducteurs, dispositifs médicaux — ce sont tous des secteurs verticaux annoncés. Si Code Metal annonce un contrat avec un grand constructeur automobile ou un fabricant de dispositifs médicaux, cela confirmera la polyvalence de la plateforme. Sinon, l'entreprise risque de rester un sous-traitant de défense de niche avec une valorisation injustifiée.
L'angle défense est également important : avec l'administration Trump-Vance et l'accent mis sur le DOGE (Department of Government Efficiency), les budgets pour les technologies de défense modernes restent une priorité. Code Metal s'inscrit parfaitement dans cette tendance mais devient simultanément vulnérable aux changements politiques.
En résumé. Code Metal ne parle pas d'« IA pour le matériel ». Il s'agit de savoir qui certifiera le code écrit par les machines dans un monde où ce code contrôle des chasseurs, des satellites et des drones. Le pari de 125 millions de dollars est un pari que l'avenir exigera des garanties mathématiques, pas seulement une génération rapide. Si le pari est gagnant, Code Metal deviendra ce que VeriSign est devenu pour Internet — une infrastructure de confiance invisible mais indispensable.
— Editorial Team
Aucun commentaire pour le moment.