Code Metal capta US$125 millones para modernizar software de defensa con AI

La startup de Boston Code Metal anunció la atracción de $125 millones en inversiones — y esta noticia habla no solo de las ambiciones de una empresa, sino también de un cambio masivo en el enfoque de la industria de defensa hacia su deuda tecnológica. Durante décadas, los contratistas militares han operado sistemas de software escritos en COBOL, Fortran y otros lenguajes del siglo pasado, manteniéndolos vivos gracias a los esfuerzos de raros especialistas cuya edad promedio crece continuamente. Ahora la IA asume una tarea que las personas han pospuesto demasiado tiempo.

El problema del código heredado en el sector de defensa es una de las amenazas tecnológicas más subestimadas de nuestro tiempo. Sistemas de control críticos, plataformas logísticas, software de orientación de objetivos — todo esto a menudo funciona con código que tiene treinta, cuarenta, o incluso cincuenta años. Los intentos de reescribirlo manualmente tradicionalmente terminan de la misma manera: los proyectos se prolongan durante años, los costos se multiplican varias veces más del presupuesto, y los nuevos errores reproducen o incluso empeoran los problemas originales. Code Metal se posiciona precisamente en este punto de fracaso.

La distinción clave del enfoque de la empresa no es la velocidad de la traducción, sino la verificación. La mayoría de las herramientas basadas en grandes modelos de lenguaje pueden reescribir código de un idioma a otro con envidiable rapidez, pero no pueden garantizar que el resultado sea idéntico en comportamiento al original. Para aplicaciones de consumidor, una pequeña discrepancia es un informe de error.

Para una unidad de control de sistema de misiles o un algoritmo de reconocimiento de objetivos — esto es una catástrofe. Code Metal afirma que su sistema de IA no solo traduce código, sino que verifica matemáticamente la equivalencia del nuevo código al antiguo: cada rama de la lógica, cada condición límite, cada efecto secundario pasa una verificación formal.

Esta dirección — la llamada verificación formal — existe en el entorno académico desde hace mucho tiempo, pero tradicionalmente ha requerido un esfuerzo manual colosal y una profunda experiencia matemática. Code Metal apuesta a que los modernos modelos de IA ahora permiten automatizar este proceso a escala industrial por primera vez. Si esto realmente funciona como afirma la empresa, estamos hablando de un cambio cualitativo en lo que es posible al migrar sistemas heredados.

La ronda de inversión de $125 millones es una señal sustancial al mercado. El sector de tecnología de defensa está experimentando un verdadero auge de inversión después de varios años en que el Valle del Silicio se distanció ostensiblemente de los contratos militares. El éxito de Anduril, Shield AI y otras startups de defensa ha reformatado la percepción de la industria: hoy las tecnologías de defensa se consideran nuevamente una dirección de inversión atractiva. Code Metal llega en esta onda con un producto que aborda un punto de dolor específico y mensurable — no una abstracción de "seguridad" o "eficiencia".

Para los contratistas de defensa, las apuestas son extremadamente altas. El Departamento de Defensa de EE.UU. ha pasado años intentando modernizar su base tecnológica a través de programas como JEDI y sus sucesores, pero la capa de infraestructura — el propio software en lenguajes desactualizados — sigue siendo un cuello de botella doloroso. Encontrar un programador de Fortran capaz de entender código de cuarenta años sin documentación se vuelve más difícil cada año. La migración automatizada con garantía de corrección — esto no es solo conveniencia, es una cuestión de preparación para el combate a largo plazo.

Code Metal también enfrenta escépticos obvios. La verificación formal de sistemas complejos es una tarea que la informática no ha resuelto definitivamente ni fuera del contexto de la IA. El código de defensa real a menudo contiene dependencias intencionales o accidentales del comportamiento específico del hardware, el sistema operativo o el compilador — matices que son extremadamente difíciles de captar para cualquier herramienta automatizada. Demostrar que la tecnología funciona en sistemas militares reales, no en proyectos de demostración — esta es una tarea que la startup aún tiene que resolver pública y convincentemente.

No obstante, la mera aparición de Code Metal con financiamiento serio marca un momento importante: la industria finalmente ha reconocido que la IA está lista para abordar no solo la escritura de nuevo código, sino también el pago de décadas de deuda tecnológica acumulada. Si esta apuesta resulta correcta, los próximos años mostrarán cómo cambia el mismo concepto de lo que significa mantener sistemas de software críticos — no solo en defensa, sino en energía, aviación, finanzas. El código heredado existe en todas partes. El problema es universal. Code Metal simplemente comenzó con el cliente más exigente.