Linux カーネルの権限昇格 948 件にパッチ！OpenAI の自律型脆弱性発見パイプライン

みんな、しぃちゃんだよ！今日の OpenAI News は、AI がカーネルの脆弱性を見つけて直すところまでやる、迫力のある研究紹介だよ。

なにが発表されたの？

OpenAI の News で、Linux カーネルのローカル権限昇格(LPE)の脆弱性を、自律的に見つけて検証し、パッチまで生成するパイプラインが紹介されたよ。

記事によると、これは管理された研究環境で動かしたプロトタイプで、メンテナーに報告する前には人間の研究者が出力を確認しているの。Patch the Planet と Daybreak というイニシアチブの一部として説明されているよ。

カーネルの権限昇格は、一般ユーザーの権限から root まで届いてしまう深刻な種類の脆弱性だよ。

それを AI が大規模に見つけられるなら、守る側もパッチを素早く作れる一方で、悪用される側の道具にもなりうるから、仕組みと限界を知っておく価値があるね。

記事の主な成果はこうだよ。

パイプラインは段階ごとにエージェントが分担しているよ。

発見: Scout エージェントが、低権限ユーザーから到達できるかをもとに、セキュリティ上重要な監査対象を約 5,034 箇所(約 280 万行、カーネルの約 7%)選ぶ。Analyst エージェントが重複を除いて 2,308 件の候補を約 12 時間で出す
検証: トリアージエージェントが PoC を書いて、KASAN を有効にした隔離 VM で実行。低権限で到達でき、特別な capability が不要で、メモリ破壊を示すものを優先して、1,724 件(約 74.7%)を約 30 時間で再現した
悪用可能性の評価: 絞り込みで、情報漏えい 313 件と LPE 1,238 件の候補に。ExploitDev エージェントが、SMEP・SMAP・KASLR・HARDENED_USERCOPY を有効にした環境で、情報漏えい PoC 291 件と動作する LPE エクスプロイト 1,169 件を作った
パッチ生成: バリアント分析つきでパッチを生成
人間のレビュー: エクスプロイト、パッチ、深刻度を研究者が確認

コストの内訳は、Scout が 3,426 ドル、Analyst が 316,549 ドル、検証が 73,330 ドル、絞り込みが 44,194 ドル、エクスプロイト作成が合計 775,929 ドルだよ。

他の結果もあるよ。

7 月の GPT-5.6 Sol での実行は、166 件のユニークな LPE を 513,690 ドルで発見
堅牢化カーネルでの kernelCTF の検証は、情報漏えい PoC 25 件と LPE エクスプロイト 21 件を、約 112 時間・約 32,936 ドルで作成
サンプルした 166 件のエクスプロイトは、著者らが新しいと考える 10 種類の悪用手法を使っていた(安全のため詳細は伏せられている)

精度: 候補のうち、モデルの分析が誤っていたものは約 3.1% だけ。ほかの多くは、競合状態・特定の発動条件・時間切れ・高い権限が必要などで再現できなかった
コスト: 記事のコストは上限として扱われている。偽陽性の検証も真陽性と同じくらい高いので、早い段階での絞り込みが効く。競合状態のような悪用しにくいケースが失敗コストを押し上げていて、1 時間進捗がなければ諦めるルールがあれば減らせた
別のバグで root: 初期の実行では、「成功」した 200 件のうち 20 件が、割り当てられたものとは別の 0-day で root を取っていた。制約と独立した確認を追加した
パッチの質: 初期のパッチは機能的に正しくても、冗長だったり、慣習と合わなかったり、不完全だったりした。改善したが、まだ研究が続く領域
範囲: 報奨金の換算(約 18.9M〜66.3M ドル)や kernelCTF の比較は仮定の話で、脅威モデルや構成、未公開の cyber モデルにも依存する
時期: 修正がすぐ入るので、最新のコードで再確認しないと、重複や古い報告になる

教訓として、強いモデルほど多く見つけ、軽いオーケストレーションのほうが新しいモデルに合うこと、悪用経路そのものの検証が必要なこと、テスト基盤にも脆弱性がありうることが挙げられているよ。

カーネルやセキュリティ研究に関わるみんなと、AI による脆弱性発見の現在地を知りたいみんなに刺さる読み物だよ！