Code Metal levanta US$ 125 milhões para modernizar código de defesa com IA

A startup de Boston Code Metal anunciou a captação de US$ 125 milhões em investimentos. A notícia diz mais do que as ambições de uma única empresa: aponta para uma mudança de grande escala na forma como a indústria de defesa lida com sua dívida tecnológica. Por décadas, as empreiteiras militares operaram sistemas escritos em COBOL, Fortran e outras linguagens do século passado, mantendo-os vivos graças ao esforço de poucos especialistas, cuja idade média só aumenta. Agora, a IA assume uma tarefa que as pessoas adiaram por tempo demais.

O código legado no setor de defesa é uma das ameaças tecnológicas mais subestimadas da atualidade. Sistemas críticos de controle, plataformas de logística e software de guiamento muitas vezes rodam em código com trinta, quarenta ou até cinquenta anos. As tentativas de reescrevê-lo manualmente costumam terminar do mesmo jeito: projetos se arrastam por anos, o custo estoura o orçamento várias vezes e os novos bugs reproduzem, ou até agravam, os problemas do original. É exatamente nesse ponto de falha que a Code Metal se posiciona.

A diferença central da abordagem da empresa não é a velocidade de 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 impressionante, mas não pode garantir que o resultado se comporte de forma idêntica ao original. Em um aplicativo de consumo, uma pequena divergência vira um relatório de bug.

No sistema de controle de um complexo de mísseis ou em um algoritmo de reconhecimento de alvos, é uma catástrofe. A Code Metal afirma que seu sistema de IA não apenas traduz o código, mas comprova matematicamente a equivalência entre o código novo e o antigo: cada ramificação da lógica, cada condição de contorno e cada efeito colateral passam por verificação formal.

Essa área, a chamada verificação formal, existe há muito tempo no meio acadêmico, mas tradicionalmente exigia um esforço manual colossal e profunda especialização matemática. A Code Metal aposta que os modelos de IA atuais permitem, pela primeira vez, automatizar esse processo em escala industrial. Se funcionar de fato como a empresa afirma, será uma mudança qualitativa no que é possível na migração de sistemas legados.

A rodada de US$ 125 milhões é um sinal de peso para o mercado. O setor de tecnologia de defesa vive um verdadeiro boom de investimentos depois de alguns anos em que o Vale do Silício se afastou de forma ostensiva dos contratos militares. O sucesso da Anduril, da Shield AI e de outras startups de defense-tech mudou a percepção do setor: hoje, a tecnologia de defesa volta a ser vista como uma área atraente para venture capital. A Code Metal entra nessa onda com um produto que resolve uma dor concreta e mensurável, e não uma promessa abstrata de "segurança" ou "eficiência".

Para as próprias empreiteiras de defesa, as apostas são altíssimas. O Departamento de Defesa dos EUA tenta há anos modernizar sua base tecnológica por meio de programas como o JEDI e seus sucessores, mas a camada de infraestrutura, o próprio software em linguagens obsoletas, continua sendo 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. Uma migração automatizada com garantia de correção não é apenas uma comodidade: é uma questão de prontidão de combate a longo prazo.

A Code Metal também enfrenta céticos óbvios. A verificação formal de sistemas complexos é um problema que a ciência da computação não resolveu por completo, mesmo fora do contexto de IA. O código real de defesa frequentemente contém dependências intencionais ou acidentais do comportamento específico do hardware, do sistema operacional ou do compilador, nuances extremamente difíceis de captar por qualquer ferramenta automática. Provar que a tecnologia funciona em sistemas reais, e não em projetos de demonstração, é uma tarefa que a startup ainda precisa cumprir de forma pública e convincente.

Ainda assim, o simples surgimento da Code Metal com financiamento robusto marca um momento importante: a indústria finalmente reconheceu que a IA está pronta para assumir não só a escrita de código novo, mas também o desmonte de décadas de dívida tecnológica acumulada. Se a aposta se confirmar, os próximos anos mostrarão como muda a própria noção de manter sistemas de software críticos, não apenas na defesa, mas também em energia, aviação e finanças. Código legado existe em toda parte. O problema é universal. A Code Metal apenas começou pelo cliente mais exigente.