Code Metal lève 125 millions de dollars pour moderniser le code de la défense avec l'IA

La start-up de Boston Code Metal a annoncé avoir levé 125 millions de dollars. Cette nouvelle en dit plus que les seules ambitions d'une entreprise : elle signale un changement d'ampleur dans la manière dont l'industrie de la défense aborde sa dette technologique. Depuis des décennies, les sous-traitants militaires exploitent des systèmes écrits en COBOL, Fortran et autres langages du siècle dernier, qu'ils maintiennent en vie grâce à quelques spécialistes dont l'âge moyen ne cesse de grimper. Aujourd'hui, l'IA s'attaque à une tâche que l'on a trop longtemps repoussée.

Le code legacy dans le secteur de la défense est l'une des menaces technologiques les plus sous-estimées de notre époque. Systèmes de commande critiques, plateformes logistiques, logiciels de guidage : tout cela tourne souvent sur du code vieux de trente, quarante, voire cinquante ans. Les tentatives de le réécrire à la main finissent traditionnellement de la même façon : les projets s'étirent sur des années, les coûts dépassent plusieurs fois le budget, et les nouveaux bugs reproduisent, voire aggravent, les problèmes de l'original. C'est précisément sur ce point de défaillance que se positionne Code Metal.

La différence clé de l'approche de l'entreprise tient non à la vitesse de traduction, mais à la vérification. La plupart des outils fondés sur de grands modèles de langage savent réécrire du code d'un langage à un autre à une vitesse enviable, mais ne peuvent pas garantir que le résultat se comporte à l'identique de l'original. Dans une application grand public, un petit écart se traduit par un rapport de bug.

Pour le système de commande d'un complexe de missiles ou un algorithme de reconnaissance de cibles, c'est une catastrophe. Code Metal affirme que son système d'IA ne se contente pas de traduire le code, mais prouve mathématiquement l'équivalence du nouveau code avec l'ancien : chaque branche logique, chaque condition aux limites, chaque effet de bord passent par une vérification formelle.

Ce domaine, la vérification formelle, existe depuis longtemps dans le monde académique, mais exigeait traditionnellement un effort manuel colossal et une expertise mathématique approfondie. Code Metal parie que les modèles d'IA actuels permettent pour la première fois d'automatiser ce processus à l'échelle industrielle. Si cela fonctionne réellement comme l'affirme l'entreprise, ce serait un changement qualitatif dans ce qui est possible lors de la migration de systèmes hérités.

Le tour de table de 125 millions de dollars envoie un signal fort au marché. Le secteur des technologies de défense connaît un véritable boom d'investissement après plusieurs années pendant lesquelles la Silicon Valley s'est ostensiblement tenue à distance des contrats militaires. Le succès d'Anduril, de Shield AI et d'autres start-ups de defense-tech a transformé la perception du secteur : la technologie de défense est de nouveau considérée comme un créneau attractif pour le capital-risque. Code Metal surfe sur cette vague avec un produit qui répond à une douleur concrète et mesurable, et non à une promesse abstraite de « sécurité » ou d'« efficacité ».

Pour les sous-traitants de la défense eux-mêmes, les enjeux sont considérables. Le département de la Défense des États-Unis tente depuis des années de moderniser sa base technologique via des programmes comme JEDI et ses successeurs, mais la couche d'infrastructure, c'est-à-dire le logiciel lui-même écrit dans des langages obsolètes, reste un goulet d'étranglement douloureux. Trouver un programmeur Fortran capable de comprendre sans documentation un code vieux de quarante ans devient plus difficile chaque année. Une migration automatisée avec garantie de correction n'est pas qu'un confort : c'est une question de capacité opérationnelle à long terme.

Code Metal doit aussi composer avec des sceptiques évidents. La vérification formelle de systèmes complexes est un problème que l'informatique n'a pas résolu complètement, même en dehors du contexte de l'IA. Le code réel de la défense contient souvent des dépendances voulues ou accidentelles au comportement spécifique du matériel, du système d'exploitation ou du compilateur, des subtilités extrêmement difficiles à détecter pour n'importe quel outil automatique. Prouver que la technologie fonctionne sur des systèmes réels, et non sur des projets de démonstration, est une tâche que la start-up doit encore accomplir publiquement et de façon convaincante.

Cela dit, l'apparition même de Code Metal avec un financement sérieux marque un moment important : l'industrie a fini par reconnaître que l'IA est prête à s'attaquer non seulement à l'écriture de code neuf, mais aussi au démantèlement de décennies de dette technologique accumulée. Si le pari s'avère gagnant, les prochaines années montreront comment évolue l'idée même de maintenir des systèmes logiciels critiques, non seulement dans la défense, mais aussi dans l'énergie, l'aviation et la finance. Le code legacy est partout. Le problème est universel. Code Metal a simplement commencé par le client le plus exigeant.