
何が起きたか
Canonicalはブリストル大学での3年間の博士課程プロジェクトに共同出資し、大規模なCコードベースを安全で動作的に正しく、保守可能なRustへ翻訳するLLMの活用を調査する。このプロジェクトではsnap-confineとAppArmorを検証する。
なぜ重要か
この取り組みは、成熟したコードベースに埋め込まれた知識を保存することを目的としており、それは人手によるクリーンな書き換えでは失われる可能性がある。従来のソース間翻訳機は、しばしばunsafeな操作や不格好なCイディオムに依存したRustを生成することが多い。国内の組込み開発企業は、C言語資産のRust移行にAI翻訳を活用できる可能性があるとみられる。
注目点
このプロジェクトはUK Research and Innovationとの共同出資である。Seager氏が、Wang Meng教授とCristina David博士とともにこれを監督する。結果は、AIが数十万行のCで構成されるコードベースを処理できるかどうかを示す可能性がある。
こういう要約が、毎朝あなたのメールに届きます。
この博士課程プロジェクトは、既知の問題に応えるものである: CからRustへの翻訳は、元の構造を文字通りに保存しすぎることが多く、その結果、コンパイルは通るがunsafeな操作や不格好なイディオムに依然依存するコードになる。研究者らは、LLMを使用して大規模なコードベースを書き換え前に小さなコンポーネントに分解することを計画しているが、The Registerの編集部は、これが最も難しい部分かもしれないと疑っている。
このプロジェクトが成熟したコードベースに焦点を当てているのは、それらがプログラマーが意識的に文書化したことのない知識を含み、何年にもわたる修正を通じてエンコードされていることを認めている。機械翻訳はこの動作を保存するかもしれないが、人手によるクリーンな書き換えはそれを見逃す可能性がある。これは、この記事が引用するJoel Spolskyの2000年のエッセイからの重要な議論である。
AppArmorの関連性は注目に値する。昨年openSUSE 16がそれをSELinuxに置き換えたため、堅牢化されたRust実装は残りのユーザーに利益をもたらす可能性がある。The Registerの編集部は実現可能性については懐疑的だが、誇大広告ではなく証拠を生み出す方法としてこの投資を歓迎する。
業界と使っているAIツールを選ぶと、仕事に関係するニュースが毎朝届きます。
登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。AIはこの記事・AIToday の過去記事・Wikipedia を読み、出典を付けて答えます。Q&Aはこのページに公開され、他の読者も読めます。
カマラータ氏はInceptionV1の猫・車ニューロンをV字検出器だと再解釈

Google DeepmindのGemini 4 ArgonがARC Prizeによると、4,800ドルでARC-AGI-3において97.5パーセントを記録し2位となった

MicrosoftのSurface Laptop UltraはNvidiaのRTX Sparkプラットフォームを採用し、2,599ドルから(最大5,899ドル)

Nieman Labによると、10月30日発効のMetaの新たな商用規約により、ビジネスユーザーと結びついたウェブサイトのコンテンツをクロールしAI学習に利用できる可能性がある

Vercelが木曜に公表したデータによると、TypeSafe AIのJevは、9月15日の限定リリースから2週間以内に有料チームの35%が使用した

Reflection AIがエージェント型コーディング向けオープンウェイトモデルBeamを発表
