Code Metal capta 125 millones de dólares para modernizar con IA el código de defensa

La startup de Boston Code Metal ha anunciado que ha captado 125 millones de dólares en inversión. La noticia habla de algo más que las ambiciones de una sola empresa: apunta a un cambio de fondo en cómo la industria de defensa afronta su deuda tecnológica. Durante décadas, los contratistas militares han operado sistemas escritos en COBOL, Fortran y otros lenguajes del siglo pasado, y los han mantenido con vida gracias al esfuerzo de unos pocos especialistas cuya edad media no deja de aumentar. Ahora la IA aborda una tarea que se llevaba demasiado tiempo posponiendo.

El código heredado en el sector de defensa es una de las amenazas tecnológicas más subestimadas de nuestro tiempo. Los sistemas críticos de control, las plataformas logísticas y el software de guiado funcionan a menudo con código de treinta, cuarenta o incluso cincuenta años. Los intentos de reescribirlo a mano suelen acabar igual: los proyectos se alargan durante años, el coste supera varias veces el presupuesto y los nuevos errores reproducen, o incluso agravan, los problemas del original. Es justo en ese punto de fracaso donde se posiciona Code Metal.

La diferencia clave del enfoque de la compañía no es la velocidad de traducción, sino la verificación. La mayoría de las herramientas basadas en grandes modelos de lenguaje pueden reescribir código de un lenguaje a otro con una rapidez notable, pero no pueden garantizar que el resultado se comporte igual que el original. En una aplicación de consumo, una pequeña discrepancia es un informe de error.

En el sistema de control de un complejo de misiles o en un algoritmo de reconocimiento de objetivos, es una catástrofe. Code Metal afirma que su sistema de IA no se limita a traducir el código, sino que demuestra matemáticamente que el código nuevo es equivalente al antiguo: cada rama de la lógica, cada condición límite y cada efecto secundario pasan por una verificación formal.

Este campo, la llamada verificación formal, existe desde hace tiempo en el ámbito académico, pero tradicionalmente exigía un esfuerzo manual enorme y una profunda pericia matemática. Code Metal apuesta a que los modelos de IA actuales permiten por primera vez automatizar este proceso a escala industrial. Si realmente funciona como asegura la empresa, supondría un cambio cualitativo en lo que es posible al migrar sistemas heredados.

La ronda de 125 millones de dólares es una señal de peso para el mercado. El sector tecnológico de defensa vive un auténtico auge inversor tras varios años en los que Silicon Valley se distanció de forma ostensible de los contratos militares. El éxito de Anduril, Shield AI y otras startups de defense-tech ha cambiado la percepción del sector: hoy la tecnología de defensa vuelve a considerarse una categoría atractiva para el capital riesgo. Code Metal se suma a esta ola con un producto que resuelve un problema concreto y medible, no una promesa abstracta de «seguridad» o «eficiencia».

Para los propios contratistas de defensa, lo que está en juego es muchísimo. El Departamento de Defensa de EE. UU. lleva años intentando modernizar su base tecnológica con programas como JEDI y sus sucesores, pero la capa de infraestructura, el propio software en lenguajes obsoletos, sigue siendo un cuello de botella doloroso. Encontrar a un programador de Fortran capaz de entender código de hace cuarenta años sin documentación es cada año más difícil. Una migración automatizada con garantía de corrección no es solo una comodidad: es una cuestión de capacidad de combate a largo plazo.

Code Metal también se enfrenta a escépticos evidentes. La verificación formal de sistemas complejos es un problema que la informática no ha resuelto del todo, ni siquiera fuera del contexto de la IA. El código de defensa real contiene a menudo dependencias intencionadas o accidentales del comportamiento específico del hardware, del sistema operativo o del compilador, matices que cualquier herramienta automática tiene muchas dificultades para detectar. Demostrar que la tecnología funciona en sistemas reales, y no en proyectos de demostración, es una tarea que la startup aún debe cumplir de forma pública y convincente.

Aun así, la aparición de Code Metal con una financiación considerable marca un momento importante: la industria ha reconocido por fin que la IA está lista para encargarse no solo de escribir código nuevo, sino también de desmontar décadas de deuda tecnológica acumulada. Si la apuesta resulta acertada, los próximos años mostrarán cómo cambia la propia idea de mantener sistemas de software críticos, no solo en defensa, sino también en energía, aviación y finanzas. El código heredado está en todas partes. El problema es universal. Code Metal simplemente ha empezado por el cliente más exigente.