Code Metal lève 125 M$ pour moderniser les logiciels de défense avec AI

La startup de Boston Code Metal a annoncé l'attraction de $125 millions en investissements — et cette nouvelle parle non seulement des ambitions d'une entreprise, mais aussi d'un changement massif dans l'approche de l'industrie de la défense envers sa dette technologique. Pendant des décennies, les entrepreneurs militaires ont exploité des systèmes logiciels écrits en COBOL, Fortran et autres langages du siècle passé, les maintenant en vie grâce aux efforts de rares spécialistes dont l'âge moyen augmente continuellement. Maintenant l'IA se charge d'une tâche que les gens ont repoussée trop longtemps.

Le problème du code hérité dans le secteur de la défense est l'une des menaces technologiques les plus sous-estimées de notre époque. Les systèmes de contrôle critiques, les plateformes logistiques, les logiciels de ciblage — tout cela fonctionne souvent sur du code vieux de trente, quarante, voire cinquante ans. Les tentatives de le réécrire manuellement se terminent traditionnellement de la même manière : les projets traînent pendant des années, les coûts dépassent plusieurs fois le budget, et les nouveaux bogues reproduisent ou aggravent même les problèmes originaux. Code Metal se positionne précisément à ce point de défaillance.

La distinction clé de l'approche de l'entreprise n'est pas la vitesse de la traduction, mais la vérification. La plupart des outils basés sur les grands modèles de langage peuvent réécrire du code d'une langue à une autre avec une vitesse enviable, mais ne peuvent pas garantir que le résultat est identique en comportement à l'original. Pour les applications de consommation, une petite divergence est un rapport de bogue.

Pour une unité de contrôle de système de missile ou un algorithme de reconnaissance de cible — c'est une catastrophe. Code Metal affirme que son système d'IA ne traduit pas simplement du code, mais vérifie mathématiquement l'équivalence du nouveau code à l'ancien : chaque branche de logique, chaque condition limite, chaque effet secondaire passe une vérification formelle.

Cette direction — la soi-disant vérification formelle — existe depuis longtemps dans le milieu académique, mais exigeait traditionnellement un effort manuel colossal et une expertise mathématique approfondie. Code Metal parie que les modèles d'IA modernes permettent maintenant d'automatiser ce processus à l'échelle industrielle pour la première fois. Si cela fonctionne vraiment comme l'entreprise l'affirme, on parle d'un changement qualitatif dans ce qui est possible lors de la migration de systèmes hérités.

La ronde d'investissement de $125 millions est un signal substantiel pour le marché. Le secteur de la technologie de défense connaît un véritable boom d'investissement après plusieurs années pendant lesquelles la Silicon Valley s'est ostensiblement distanciée des contrats militaires. Le succès d'Anduril, Shield AI et autres startups de défense-tech a reformaté la perception de l'industrie : aujourd'hui, les technologies de défense sont à nouveau considérées comme une direction de capital-risque attrayante. Code Metal arrive sur cette vague avec un produit qui résout un point de douleur spécifique et mesurable — pas une abstraction de « sécurité » ou « efficacité ».

Pour les entrepreneurs de défense eux-mêmes, les enjeux sont extrêmement élevés. Le Département de la défense américain essaie depuis des années de moderniser sa base technologique par des programmes comme JEDI et ses successeurs, mais la couche infrastructure — le logiciel lui-même sur des langages obsolètes — reste un goulot d'étranglement douloureux. Trouver un programmeur Fortran capable de comprendre du code vieux de quarante ans sans documentation devient plus difficile chaque année. La migration automatisée avec garantie de correction — ce n'est pas seulement une commodité, c'est une question de capacité de combat à long terme.

Code Metal fait également face à des sceptiques évidents. La vérification formelle de systèmes complexes est une tâche que l'informatique n'a pas résolue définitivement même en dehors du contexte de l'IA. Le code de défense réel contient souvent des dépendances intentionnelles ou accidentales du comportement spécifique du matériel, du système d'exploitation ou du compilateur — des nuances qu'il est extrêmement difficile pour tout outil automatisé de capturer. Prouver que la technologie fonctionne sur des systèmes militaires réels, pas sur des projets de démonstration — c'est une tâche que la startup doit encore résoudre publiquement et de manière convaincante.

Néanmoins, la simple émergence de Code Metal avec un financement sérieux marque un moment important : l'industrie a finalement reconnu que l'IA est prête à s'attaquer non seulement à la rédaction de nouveau code, mais aussi au remboursement de décennies de dettes technologiques accumulées. Si ce pari s'avère correct, les années à venir montreront comment la compréhension même de ce que signifie maintenir des systèmes logiciels critiques change — non seulement dans la défense, mais dans l'énergie, l'aviation, les finances. Le code hérité existe partout. Le problème est universel. Code Metal a simplement commencé avec le client le plus exigeant.