Code Metal capta US$ 125 milhões para modernizar software de defesa com AI

A startup de Boston Code Metal anunciou a atração de $125 milhões em investimentos — e essa notícia fala não apenas sobre as ambições de uma empresa, mas também sobre uma mudança massiva na abordagem da indústria de defesa em relação à sua dívida tecnológica. Por décadas, contratados militares operaram sistemas de software escritos em COBOL, Fortran e outras linguagens do século passado, mantendo-os vivos através de esforços de raros especialistas cuja idade média cresce continuamente. Agora a IA assume uma tarefa que as pessoas adiaram por muito tempo.

O problema do código legado no setor de defesa é uma das ameaças tecnológicas mais subestimadas do nosso tempo. Sistemas de controle críticos, plataformas logísticas, software de direcionamento — tudo isso frequentemente funciona com código que tem trinta, quarenta, ou até cinquenta anos de idade. Tentativas de reescrevê-lo manualmente tradicionalmente terminam da mesma forma: projetos se arrastam por anos, custos se multiplicam várias vezes além do orçamento, e novos bugs reproduzem ou até pioram os problemas originais. Code Metal se posiciona precisamente neste ponto de falha.

A distinção principal da abordagem da empresa não é a velocidade da tradução, mas a verificação. A maioria das ferramentas baseadas em grandes modelos de linguagem consegue reescrever código de uma linguagem para outra com velocidade invejável, mas não pode garantir que o resultado é idêntico em comportamento ao original. Para aplicações de consumidor, uma pequena discrepância é um relatório de bug. Para uma unidade de controle de sistema de míssil ou um algoritmo de reconhecimento de alvo — isso é uma catástrofe. Code Metal afirma que seu sistema de IA não apenas traduz código, mas confirma matematicamente a equivalência do novo código ao antigo: cada ramificação da lógica, cada condição limite, cada efeito colateral passa por verificação formal.

Esta direção — a chamada verificação formal — existe no ambiente acadêmico há muito tempo, mas tradicionalmente exigia esforço manual colossal e profunda expertise matemática. Code Metal aposta que os modernos modelos de IA agora permitem automatizar este processo em escala industrial pela primeira vez. Se isso realmente funciona como a empresa afirma, estamos falando sobre uma mudança qualitativa no que é até mesmo possível ao migrar sistemas legados.

O round de investimento de $125 milhões é um sinal substancial para o mercado. O setor de tecnologia de defesa está experimentando um verdadeiro boom de investimento depois de vários anos quando o Vale do Silício se distanciou ostensivamente de contratos militares. O sucesso de Anduril, Shield AI e outras startups de defense-tech reformatou a percepção da indústria: hoje tecnologias de defesa são novamente consideradas uma direção de investimento atrativo. Code Metal chega nesta onda com um produto que aborda um ponto de dor específico e mensurável — não uma abstração de "segurança" ou "eficiência".

Para os contratados de defesa, as apostas são extremamente altas. O Departamento de Defesa dos EUA tem gasto anos tentando modernizar sua base tecnológica através de programas como JEDI e seus sucessores, mas a camada de infraestrutura — o próprio software em linguagens desatualizadas — permanece um gargalo doloroso. Encontrar um programador de Fortran capaz de entender código de quarenta anos sem documentação fica mais difícil a cada ano. Migração automatizada com garantia de correção — isso não é apenas conveniência, é uma questão de prontidão de combate de longo prazo.

Code Metal enfrenta céticos óbvios também. Verificação formal de sistemas complexos é uma tarefa que a ciência da computação não resolveu definitivamente nem fora do contexto de IA. O código de defesa real frequentemente contém dependências intencionais ou acidentais do comportamento específico do hardware, do sistema operacional ou do compilador — nuances que são extremamente difíceis para qualquer ferramenta automatizada capturar. Provar que a tecnologia funciona em sistemas militares reais, não em projetos de demonstração — essa é uma tarefa que a startup ainda tem que resolver pública e convincentemente.

Não obstante, a própria emergência de Code Metal com financiamento sério marca um momento importante: a indústria finalmente reconheceu que a IA está pronta para lidar não apenas com a escrita de novo código, mas também com o pagamento de décadas de dívida tecnológica acumulada. Se essa aposta se mostrar correta, os anos vindouros mostrarão como o próprio entendimento do que significa manter sistemas de software críticos muda — não apenas em defesa, mas em energia, aviação, finanças. Código legado existe em todo lugar. O problema é universal. Code Metal simplesmente começou com o cliente mais exigente.