Microsoft usa agentes de IA para migrar código a gran escala y apuesta por la verificación formal
Útil para
Microsoft emplea agentes de IA para transformar bases de código enormes, como las de Windows y Azure, incluida la migración de 400 millones de líneas a una nueva cadena de herramientas de compilación. También trabaja en modernizar código C y C++ a Rust, combinando agentes con análisis estático, pruebas y verificación formal. Desde mayo de 2025, según la empresa, los agentes planifican mejor que sus propios pipelines, por lo que el equipo construye herramientas que los agentes usan para validar sus cambios.
Qué significa
Cuando los agentes generan cambios más rápido de lo que las personas pueden revisarlos, la comprobación automatizada de que el código sigue funcionando se convierte en el paso clave.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- MicrosoftLeer la noticia completa en Microsoft