Microsoft dice que verificar código generado por IA es el principal desafío
🎧 Escucha esta noticia
Microsoft afirma que desarrolla y opera agentes de IA para transformar grandes bases de código, incluido Windows y Azure. Entre los trabajos que menciona están migrar una base de 400 millones de líneas a una nueva cadena de compilación y modernizar código C y C++ heredado a Rust, con un uso creciente de verificación formal.
Según la empresa, generar código ya no es la parte más difícil: los equipos deben verificar que los cambios preserven el comportamiento, la seguridad y la intención arquitectónica. Desde 2024, Microsoft dice que combina agentes con análisis estático, pruebas y métodos formales; para mayo de 2025, afirma que los agentes ya eran mejores planificadores que sus flujos de trabajo. La empresa también dice que la atención humana se convirtió en el recurso más escaso de la ingeniería de software con agentes.
Por qué importa · interpretación editorial
Para los equipos que usan agentes en bases de código grandes, las ganancias de productividad podrían depender menos de generar cambios y más de validarlos sin perder el comportamiento, la seguridad o la intención arquitectónica. Esto desplaza la atención humana hacia la revisión de la evidencia producida por análisis estático, pruebas y métodos formales.
Fuentes
CódigoAgentes