Según el material de The Register AI and ML, Canonical ha respaldado un trabajo de investigación para traducir grandes volúmenes de código en C a Rust seguro mediante IA. La publicación indica que los investigadores de Bristol han recibido financiación para verificar si el código maduro conserva sus propiedades tras la conversión automatizada.
El sentido práctico del proyecto es probar la fiabilidad de este enfoque en software existente, no solo en pequeños ejemplos de demostración. Sin embargo, el paquete disponible no contiene información sobre el tamaño de la financiación, los sistemas específicos, los criterios de seguridad o los resultados obtenidos.
comentario editorial
Por qué importa
La consecuencia probable será la aparición de criterios más estrictos para evaluar la traducción automática de código maduro, si la investigación arroja resultados medibles. La siguiente señal observable serán los detalles publicados sobre la metodología, los conjuntos de código y las verificaciones de seguridad. Persiste una incertidumbre sustancial: la fuente solo está disponible como un resumen meta, por lo que no es posible evaluar la calidad del enfoque ni su preparación para la aplicación práctica.