De acordo com a matéria do The Register AI and ML, a Canonical apoiou um trabalho de pesquisa para traduzir grandes volumes de código em C para Rust seguro utilizando IA. A publicação afirma que pesquisadores de Bristol receberam financiamento para verificar se o código maduro mantém suas propriedades após a conversão automatizada.
O objetivo prático do projeto é testar a confiabilidade dessa abordagem em software existente, e não apenas em pequenos exemplos demonstrativos. No entanto, o pacote de informações disponível não contém detalhes sobre o valor do financiamento, os sistemas específicos, os critérios de segurança ou os resultados obtidos.
comentário editorial
Por que importa
Uma consequência provável é o surgimento de critérios mais rigorosos para avaliar a tradução automática de código maduro, caso a pesquisa produza resultados mensuráveis. O próximo sinal observável serão os detalhes publicados sobre a metodologia, os conjuntos de código e as verificações de segurança. Permanece uma incerteza substancial: a fonte está disponível apenas como um resumo editorial, portanto, não é possível avaliar a qualidade da abordagem ou sua prontidão para aplicação prática.