Microsoft diz que verificar código gerado por IA é o principal desafio
🎧 Ouça esta notícia
A Microsoft afirma estar desenvolvendo e operando agentes de IA para transformar grandes bases de código, incluindo Windows e Azure. Entre os trabalhos citados estão a migração de uma base de 400 milhões de linhas para uma nova cadeia de compilação e a modernização de código C e C++ legado para Rust, com uso crescente de verificação formal.
Segundo a empresa, gerar código deixou de ser a parte mais difícil: é preciso verificar se as mudanças preservam comportamento, segurança e intenção arquitetural. Desde 2024, a Microsoft combina agentes com análise estática, testes e métodos formais; em maio de 2025, diz que os agentes já haviam se tornado melhores planejadores do que seus fluxos de trabalho. A empresa também afirma que a atenção dos especialistas humanos se tornou o recurso mais escasso na engenharia de software com agentes.
Por que importa · interpretação editorial
Para equipes que usam agentes em bases de código grandes, o ganho de produtividade pode depender menos de gerar mudanças e mais de validá-las sem perder comportamento, segurança ou intenção arquitetural. Isso desloca a atenção humana para revisar evidências produzidas por análise estática, testes e métodos formais.
Fontes
CódigoAgentes