Profissional monitoriza código e sistemas num centro de dados futurista com interfaces de inteligência artificial

A IA já está a reescrever o código da Google: de C++ para Rust

Agentes do Gemini 4 Argon estão a migrar código C e C++ da Google para Rust — incluindo 800 mil linhas do kernel Zircon. O que muda?

A afirmação que pode mudar a engenharia de software

Entre todas as capacidades anunciadas com o Gemini 4 Argon, há uma que merece atenção especial: a Google afirma que agentes baseados neste modelo estão a ajudar a migrar grandes bases de código de C e C++ para Rust. O exemplo mais impressionante é o kernel Zircon, do sistema operativo Fuchsia, com mais de 800 mil linhas de código.

Se for verdade — e a Google apresentou detalhes técnicos concretos —, estamos perante uma das aplicações mais ambiciosas de IA em engenharia de software até à data. Não se trata de gerar uma função ou um teste; trata-se de reescrever sistemas operativos.

Porque se procura reduzir os riscos de segurança de memória

A motivação é bem conhecida de quem segue a indústria: uma parte substancial das vulnerabilidades críticas em software nasce de erros de gestão de memória em C e C++. Buffer overflows, use-after-free e acessos inválidos continuam a alimentar uma parte significativa das falhas exploráveis.

Rust resolve estes problemas na raiz, ao verificar em tempo de compilação um conjunto de regras que impedem acessos inválidos à memória. Migrar código crítico para Rust não é uma moda: é uma estratégia de redução de risco. A Google tem investido nessa direção há anos, e o Argon é apresentado como o acelerador que faltava.

Como os agentes analisam, reescrevem e testam

O processo descrito pela Google não é uma tradução automática linha a linha. Os agentes analisam o comportamento do código original, propõem equivalentes em Rust, compilam, correm testes e comparam resultados. Quando algo falha, iteram.

Um dos exemplos divulgados é o libgav1, um descodificador de vídeo. Os agentes substituíram 32 mil linhas de código SIMD por Rust seguro, executando experiências guiadas por perfil e estudando a saída do compilador para permitir a vetorização automática. O resultado reportado: saída de vídeo idêntica, código seguro em memória e um desempenho 2,7 vezes superior à porta em Rust anterior.

O que significa migrar centenas de milhares de linhas

Numa base de código com 800 mil linhas, os problemas deixam de ser sintáticos e passam a ser arquiteturais: dependências circulares, comportamentos implícitos, concorrência, otimizações específicas de plataforma e anos de correções acumuladas que ninguém documentou. Um agente pode acelerar cada passo, mas não elimina a necessidade de compreender o sistema como um todo.

A Google afirma que as reescritas maiores estão sujeitas a auditoria automatizada e manual rigorosa, testes de emulação e revisão antes de chegarem a produção. Esta frase é, provavelmente, a mais importante do anúncio: a IA propõe, mas o processo continua a ser humano.

Porque a revisão humana continua indispensável

Código que compila e passa testes não é necessariamente código correto. Pode preservar o comportamento observado e esconder alterações subtis em casos-limite, ou introduzir padrões inseguros que os testes não cobrem. Em software de sistema, essas diferenças podem significar falhas de segurança ou perda de dados.

Além disso, há uma questão de responsabilidade: se um agente reescreve o kernel e algo falha em produção, quem responde? A revisão humana não é apenas uma salvaguarda técnica — é a forma de manter a responsabilidade identificável.

O contexto português

Este anúncio deve ser lido em conjunto com o debate que temos acompanhado sobre software, IA e código aberto. A combinação de agentes de IA com Rust está a baixar a barreira para reescrever sistemas legados — algo particularmente relevante para empresas e administrações públicas que mantêm software crítico em linguagens antigas. Para quem quiser aprofundar o tema das competências e do futuro do trabalho, vale a pena ler a reflexão sobre a última profissão humana.

Conclusão

A migração de C++ para Rust assistida por IA é, provavelmente, a aplicação mais consequente do Gemini 4 Argon. Se o modelo conseguir repetir em larga escala o que a Google descreve no libgav1 e no Zircon, o impacto na engenharia de software será profundo. Mas o verdadeiro teste não é o anúncio: é o código que chega a produção — e quem o revê antes disso.

Nuno Cabeça
Nuno Cabeça

Deixe um comentário

O seu endereço de email não será publicado. Campos obrigatórios marcados com *

Gravatar profile