Canonical financia un doctorado para determinar si la IA puede convertir millones de líneas de C en Rust

Puntos clave

• Canonical cofinancia un doctorado de tres años en la Universidad de Bristol para estudiar si la IA puede traducir automáticamente bases de código grandes de C al lenguaje de programación Rust.
• El proyecto cuenta con el patrocinio conjunto de UK Research and Innovation, un organismo público respaldado por el Departamento de Negocios, Innovación, Ciencia y Comercio del Reino Unido.
• El vicepresidente de ingeniería de Ubuntu, Jon Seager, anunció el proyecto en el foro Discourse de Ubuntu en 2025.
• La investigación se enfocará en dos herramientas reales: snap-confine y AppArmor, ambas escritas en C.
• Esta es investigación exploratoria, no un plan para reescribir Ubuntu en sí.

Canonical, la empresa detrás de Ubuntu, está invirtiendo dinero en una pregunta que el mundo del software aún no ha resuelto: ¿puede una IA leer un enorme volumen de código antiguo en C y reescribirlo en Rust automáticamente?

C es un lenguaje de programación que ha alimentado software durante décadas. Es rápido, pero notoriamente propenso a escribirse de formas que dejan agujeros de seguridad peligrosos. Rust es un lenguaje más nuevo diseñado para bloquear toda esa clase de vulnerabilidades desde el principio. Convertir uno en el otro manualmente es terriblemente lento.

¿Exactamente qué está financiando Canonical?

Un estudiante de doctorado del Programming Languages Research Group de la Universidad de Bristol pasará tres años investigando si un modelo de lenguaje grande (un LLM, la tecnología detrás de herramientas como ChatGPT) puede realizar de manera confiable esa traducción. El Profesor Meng Wang y la Dra. Cristina David supervisarán al estudiante junto con Seager.

El plan no es copiar un sistema operativo completo en un chatbot. Primero, una base de código gigante (potencialmente cientos de miles de líneas) se divide en fragmentos más pequeños. Luego, una IA reescribe cada fragmento en Rust que se supone debe ser seguro, correcto y legible para un mantenedor humano. Los dos sujetos de prueba son snap-confine y AppArmor, ambos componentes relacionados con seguridad ya utilizados en Ubuntu.

Imagina un gabinete de archivos de 30 años lleno de notas manuscritas, algunas en un idioma que solo tres personas hablaron. Este proyecto pregunta si la IA puede leerlo todo, entender la lógica detrás de cada nota al margen garabateada, y escribirlo correctamente en un formato moderno sin perder nada. Los códigos bases maduros contienen décadas de conocimiento integrado silenciosamente en el código mismo: parches para errores que nadie documentó, soluciones alternativas para casos extremos que solo aparecieron en producción. Una traducción por IA, realizada cuidadosamente, podría preservarlos donde una reescritura humana desde cero podría pasarlos por alto completamente.

Vale la pena relacionar esto con nuestro artículo del 30 de julio sobre Chrome parcheando agujeros de seguridad dos veces a la semana con errores encontrados por IA, porque ambos casos señalan el mismo cambio subyacente: la IA no solo está escribiendo código nuevo, está siendo dirigida al vasto stock de código antiguo que nadie quiere tocar manualmente.

¿Realmente funcionará esto?

Honestamente, nadie lo sabe. Ese es el punto.

Las herramientas de traducción automatizada existentes tienden a producir código Rust que aún se comporta como C bajo el capó, confiando en operaciones "inseguras" y patrones incómodos que un desarrollador de Rust querría corregir de inmediato. La propuesta de Seager, que tiene poco más de 1.000 palabras, aborda esto directamente y vale la pena leer antes de descartar la idea.

El desafío más difícil puede no ser la traducción en sí sino el paso de descomposición: determinar cómo dividir una base de código extensa en piezas lo suficientemente pequeñas para que una IA las maneje sin perder las conexiones entre ellas. Ese es un problema sin resolver, y tres años de investigación pueden confirmar que es genuinamente muy difícil.

Una cosa que podría limitar silenciosamente el trabajo del lado de AppArmor: openSUSE 16 reemplazó AppArmor con SELinux, y Linux empresarial se ha consolidado en gran medida alrededor de SELinux también. Una versión endurecida de AppArmor en Rust seguiría siendo importante para Debian y varias distribuciones más pequeñas, pero su audiencia es más estrecha que la que tenía.

¿Qué significa esto para los usuarios ordinarios de Ubuntu?

Nada cambia ahora. Esta es investigación, no un cronograma de lanzamiento. Si tiene éxito, el beneficio a largo plazo sería software más difícil de explotar, llegando más rápido que si los desarrolladores reescribieran todo manualmente. Dinero público real está involucrado, lo que significa responsabilidad real.

Preguntas frecuentes

¿Canonical planea reescribir todo Ubuntu en Rust?

No. Este proyecto investiga si la traducción asistida por IA es incluso viable en bases de código grandes. Una reescritura completa de Ubuntu no está sobre la mesa.

¿Qué es Rust y por qué importa?

Rust es un lenguaje de programación diseñado para eliminar una categoría de vulnerabilidades de seguridad comunes en lenguajes más antiguos como C. Más Rust en software central generalmente significa menos errores explotables.

¿Cuánto tiempo antes de que esto afecte algún software real?

Como mínimo, tres años para la investigación en sí. Cualquier adopción práctica basada en los hallazgos vendría después de eso.