Canonical は The Register AI and ML の資料のとおり、AI を用いて C の大規模コードを安全な Rust へ翻訳する研究をサポートした。公開資料には、ブリストルの研究者らが機械的変換後も成熟したコードの特性が保持されるかを検証する資金を得たと記されている。
このプロジェクトの実用的な意味は、既存のソフトウェアに対してこのアプローチの信頼性を検証することであり、単なる小規模なデモ例にとどまらない。しかし、入手できる情報パッケージには、資金の額、対象となる具体的なシステム、セキュリティ基準、得られた結果などの詳細は含まれていない。
編集部コメント
なぜ重要か
おそらく自動翻訳の成熟コードの評価基準がより厳格になる可能性が高い。研究が測定可能な結果を示せば、方法論の公開、コードセット、および安全検証が次の注目点となるだろう。大きな不確実性は残っており、情報源はメタ要約としてしか利用できず、アプローチの品質や実践適用可能性を評価することはできない。