Laut einem Bericht von The Register AI and ML hat Canonical eine Forschungsarbeit unterstützt, die große Mengen an C-Code mithilfe von KI in sicheres Rust übersetzen soll. Der Veröffentlichung zufolge erhielten Forscher aus Bristol Finanzmittel, um zu prüfen, ob ausgereifter Code seine Eigenschaften nach einer maschinellen Umwandlung beibehält.
Der praktische Sinn des Projekts besteht darin, die Zuverlässigkeit eines solchen Ansatzes an bestehender Software zu testen und nicht nur an kleinen Demonstrationsbeispielen. Allerdings enthält das verfügbare Informationspaket keine Angaben zur Höhe der Finanzierung, zu konkreten Systemen, zu Sicherheitskriterien oder zu erzielten Ergebnissen.
redaktioneller Kommentar
Warum es wichtig ist
Wahrscheinliche Folge ist das Aufkommen strengerer Kriterien zur Bewertung automatischer Übersetzungen ausgereiften Codes, falls die Forschung messbare Ergebnisse liefert. Das nächste zu beobachtende Signal werden veröffentlichte Details zur Methodik, zu den Code-Sets und zu Sicherheitsüberprüfungen sein. Es besteht weiterhin erhebliche Unsicherheit: Die Quelle liegt nur als Meta-Zusammenfassung vor, sodass weder die Qualität des Ansatzes noch seine Bereitschaft zur praktischen Anwendung bewertet werden können.