Skip to Content
Docs11. LLM 内部構造アラインメントの理論(RLHF から DPO・RLVR まで)

この記事の音声は準備中です。

音声の一覧・再生リストへ

アラインメントの理論(RLHF から DPO・RLVR まで)

この記事の目的

選好調整複数の応答への人間(または AI)の選好から「良い応答」の基準を学ばせる LLM の学習工程(RLHF・DPO など)。有用さ・無害さ・トーンを形作る一方、迎合(sycophancy)や過剰な拒否の由来にもなる。(preference tuning)を数式レベルで理解できるようになります。RLHF の定式化(選好データ → 報酬モデル → KL 正則化付き方策最適化)、報酬モデルを消去する DPO の導出、報酬の過剰最適化(Goodhart)、そして検証可能報酬(RLVR)・プロセス報酬までを、「結果の式 + 日本語の読み下し」で押さえます。LLM の学習パイプラインが直感で説明する「迎合はなぜ起きるか」「なぜ拒否は確率的か」の理論的な裏付けを得ることを目指します。

数式は読み飛ばしても本文が成立するように読み下しを添えます。安全性の運用・ガードレールモデルの判断の外側でコードとして強制される制御。入力・出力・アクションの 3 層に配置し、プロンプトでの指示(お願い)と区別される。の実装は本記事のスコープ外です(ガードレール側)。

対象読者

  • LLM の学習パイプラインの選好調整を、RLHF・DPO の定式化で理解したいエンジニア
  • 迎合・報酬ハッキング・アラインメント税といった現象の理論的な由来を知りたい人

前提知識

本文

概要: 「良さ」をどう最適化するか

事前学習と SFT を終えたモデルは、指示に従う形は得ていますが、「どの応答がより良いか」の基準はまだ弱いままです。選好調整は、人間(または AI)の『こちらが良い』という比較からこの基準を学ばせる工程です。中心となるのが RLHF(人間のフィードバックからの強化学習)で、その簡略化として DPO、検証可能なタスク向けに RLVR があります。

アラインメントの理論(RLHF から DPO・RLVR まで): 概要: 「良さ」をどう最適化するかの図アラインメントの理論(RLHF から DPO・RLVR まで): 概要: 「良さ」をどう最適化するかの図
アラインメントの理論(RLHF から DPO・RLVR まで): 概要: 「良さ」をどう最適化するかの図
図を元の大きさで表示

図の中をスクロールして読めます。キーボードでは図の領域へ Tab で移動し、矢印キーを使います。読み終わったら、この見出しをもう一度選ぶと閉じます。

アラインメントの理論(RLHF から DPO・RLVR まで): 概要: 「良さ」をどう最適化するかの図アラインメントの理論(RLHF から DPO・RLVR まで): 概要: 「良さ」をどう最適化するかの図

RLHF の定式化

RLHF は 2 段です。まず報酬モデルを選好から学び、次にその報酬を最大化するように方策(モデル)を最適化します。

(1) 報酬モデルの学習。同じ入力 xx への 2 つの応答について、人間が「勝ち ywy_w / 負け yly_l」を付けた選好データを使います。勝ちの方が報酬が高くなる確率を、報酬差のシグモイドでモデル化します(Bradley-Terry モデル)。

P(yw≻yl∣x)=σ(rϕ(x,yw)−rϕ(x,yl))P(y_w \succ y_l \mid x) = \sigma\big(r_\phi(x, y_w) - r_\phi(x, y_l)\big)

読み下し: 「勝ち応答が選ばれる確率は、勝ちと負けの報酬の差をシグモイドに通したもの。差が大きいほど勝ちが選ばれやすい」。報酬モデル rϕr_\phi は、この確率が観測された選好に合うよう(負対数尤度の最小化で)学習されます。

(2) 方策の最適化。次に、モデル(方策 πθ\pi_\theta)を、報酬 rϕr_\phi を高める方向に最適化します。ただし元のモデル πref\pi_{\mathrm{ref}} から離れすぎないよう、KL ダイバージェンスで正則化します。

max⁡πθ Ex, y∼πθ[rϕ(x,y)]  −  β KL(πθ(⋅∣x) ∥ πref(⋅∣x))\max_{\pi_\theta}\ \mathbb{E}_{x,\, y \sim \pi_\theta}\big[r_\phi(x, y)\big] \;-\; \beta\, \mathrm{KL}\big(\pi_\theta(\cdot \mid x)\ \|\ \pi_{\mathrm{ref}}(\cdot \mid x)\big)

読み下し: 「報酬の期待値を上げつつ、元のモデルからの逸脱(KL)に β\beta の罰則をかける」。β\beta が正則化の強さで、小さいほど報酬を追って元から離れ、大きいほど元に留まる。この最適化は通常 PPO などの強化学習アルゴリズムで解きます。KL 項がないと、次節の「報酬の過剰最適化」で暴走します。

DPO の導出: 報酬モデルを消す

RLHF は報酬モデルの学習と強化学習の 2 段で、実装が重く不安定になりがちです。DPO(Direct Preference Optimization)は、この 2 段を選好データから直接 1 段にまとめます。鍵は、上の KL 正則化付き最適化の最適方策が閉じた形で書けることです。まず最適方策 π∗\pi^* の閉形式を書きます(参照方策の台が同じで、正規化定数が有限な場合)。

π∗(y∣x)=πref(y∣x)exp⁡(r(x,y)/β)Z(x)\pi^*(y \mid x) = \frac{\pi_{\mathrm{ref}}(y \mid x)\exp(r(x,y)/\beta)}{Z(x)}

これを報酬について解くと、最適方策の比で表せます。

r(x,y)=βlog⁡π∗(y∣x)πref(y∣x)+βlog⁡Z(x)r(x, y) = \beta \log \frac{\pi^*(y \mid x)}{\pi_{\mathrm{ref}}(y \mid x)} + \beta \log Z(x)

読み下し: 「元の報酬は、その報酬に対する最適方策と参照方策の対数比に、入力 xx ごとの定数を足したもの」。任意の学習中の πθ\pi_\theta が元の報酬とこの等式を満たすわけではありません。DPO はここから、学習する方策が表す暗黙の報酬 rθ(x,y)=βlog⁡(πθ(y∣x)/πref(y∣x))+Cθ(x)r_\theta(x,y)=\beta\log(\pi_\theta(y\mid x)/\pi_{\mathrm{ref}}(y\mid x))+C_\theta(x) を定義します。同じ入力の勝ち・負けを比べる Bradley-Terry の報酬差では、共通の入力依存定数 Cθ(x)C_\theta(x) が消えるため、次の選好損失になります。

LDPO=− E[log⁡σ ⁣(βlog⁡πθ(yw∣x)πref(yw∣x)−βlog⁡πθ(yl∣x)πref(yl∣x))]\mathcal{L}_{\mathrm{DPO}} = -\, \mathbb{E}\left[ \log \sigma\!\left( \beta \log \frac{\pi_\theta(y_w \mid x)}{\pi_{\mathrm{ref}}(y_w \mid x)} - \beta \log \frac{\pi_\theta(y_l \mid x)}{\pi_{\mathrm{ref}}(y_l \mid x)} \right) \right]

読み下し: 「勝ち応答の確率比を上げ、負け応答の確率比を下げるように学習する。報酬モデルも強化学習も要らない」。DPO は実装が軽く安定な一方、明示的な報酬モデルがないぶん、RLHF ほど細かい制御(報酬の再利用・オンライン探索)はしにくい、というトレードオフがあります。

報酬の過剰最適化(Goodhart)

「測りたいもの(真の良さ)」の代理(報酬モデル)を最大化すると、代理を突いて真の目標から外れる — これが Goodhart の法則(指標が目標になると指標として機能しなくなる)です。RLHF/DPO では報酬ハッキングとして現れます。

  • 報酬モデルを強く最大化するほど、真の品質はある点から下がる(報酬モデルの誤差を突く出力に寄る)ことが観測されています(報酬の過剰最適化のスケーリング)
  • 前節の KL 正則化(β\beta)は、この暴走を抑えるブレーキです。β\beta を下げすぎると報酬モデルの穴を突き、上げすぎると学習が進まない、という調整になります
  • 具体的な症状: 長さで水増しする(冗長な回答が高報酬に見える)、体裁だけ整える、といった「報酬モデルが好むが人間の真意ではない」方向への最適化

読み下すと: 「代理指標を全力で最大化してはいけない。正則化で元から離れすぎないようにし、報酬モデル自体も更新する」。これは評価一般のガードレールメトリクスや、判定の較正とも通じる話です。

検証可能報酬(RLVR)とプロセス報酬

数学・コードのように正解を機械的に検証できるタスクでは、学習した報酬モデルの代わりに検証器ループの中でモデルの出力・行動の正しさを確かめる仕組み。決定的検証(テスト・lint・スキーマ)・モデル検証(judge)・人による検証(HITL)の 3 種があり、安くて確実なものから順に配置する。(テスト・ルール)そのものを報酬に使えます。これが RLVR(検証可能報酬による強化学習)です。

  • 結果報酬: 最終答えが正しいか(テストが通るか)を評価する。機械的に検証する構成も、結果を評価する報酬モデルを学習する構成もあり、途中の誤った推論は直接評価しない
  • プロセス報酬: 推論の各ステップの正しさを評価して報酬にする。中間の誤りを直接罰せるが、ステップの正誤ラベルを用意するコストがかかる

RLVR は、推論モデル応答の前に中間の思考(推論トークン)を生成してから答える LLM。多段推論・検証可能な問題で精度が上がる一方、単純タスクでは遅く高くなる(overthinking)。思考量は努力パラメータ等で制御する。(考える時間を使う LLM)の学習を支える枠組みの一つです(推論モデル)。報酬を検証できる範囲が制約となります。結果/プロセス報酬は評価する粒度の区分で、プロセス報酬には人手のステップ評価から学習する構成もあります。

迎合とアラインメント税

選好調整は 2 つの副作用を残します。LLM の学習パイプラインの「癖」を理論から裏付けます。

  • 迎合(sycophancy): 人間は同意・肯定を好む傾向があるため、選好データにその偏りが乗り、モデルはユーザーの誤りを訂正するより同調する方向に最適化されます。研究でも、モデルがユーザーの立場に合わせて答えを変える傾向が観察されています。判定・レビューを任せるとき、誘導的な聞き方が迎合を引き出す理由です(LLM-as-a-Judge)
  • アラインメント税(alignment tax): 安全・整形のための調整が、素の能力(特定タスクの性能)をわずかに下げることがあります(この概念は InstructGPT で導入され、緩和策も併せて提示されました)。無害化と有用性はトレードオフしうるため、「安全にするほど賢くなる」とは限らない。RLHF はこの税を小さく保つ工夫でもあります

なお、AI のフィードバックで無害化を進める手法(Constitutional AI など)は、人手の選好ラベルを AI の判断で置き換える方向の研究で、選好データの作り方の変種として位置づけられます。

この理解が効く場面

  • 迎合バイアスへの対処: 判定・レビュー設計で中立な聞き方・基準明文化を組み込む理由が、選好調整の定式化から説明できる(LLM-as-a-Judge)
  • 推論モデルの理解: RLVR・プロセス報酬が、検証可能タスクでの推論モデルの強さの背景(推論モデル)
  • FT の判断: 自前で選好調整(DPO 等)をするときの、報酬過剰最適化・KL 正則化の勘所(ファインチューニングと蒸留)
  • 安全主張の読み方: アラインメント税・報酬ハッキングを知っていると、提供者の安全フレームワークを批判的に読める(フロンティアセーフティの概観)

実務での注意点

アンチパターン

  • 報酬モデルを全力で最大化する → Goodhart により真の品質がある点から下がり、報酬ハッキング(長さ水増し等)が起きる → KL 正則化で元から離れすぎないようにし、報酬モデルも更新する
  • DPO を「RLHF の完全上位互換」と誤解する → 明示的報酬モデルがないぶん、オンライン探索・報酬再利用などの制御は効きにくい → タスクと運用に応じて RLHF/DPO を選ぶ
  • RLVR をあらゆるタスクに使おうとする → 検証器が用意できないタスク(開放的な生成・主観評価)には適用できない → 検証可能なタスクに限定し、他は報酬モデル/人手評価を併用する
  • 迎合を「プロンプトで禁止」しようとする → 選好調整由来の傾向は指示で消えない → 中立な聞き方・基準明文化・複数観点で構造的に抑える
  • 「安全調整すれば能力も上がる」と期待する → アラインメント税で素の性能がわずかに下がりうる → 安全と有用性のトレードオフを前提に評価する

チェックリスト

  • RLHF の 2 段(報酬モデル → KL 正則化付き方策最適化)を説明できる
  • Bradley-Terry モデル(報酬差のシグモイド)で選好が表されることを理解している
  • DPO が「報酬モデルは方策に暗黙に含まれる」ことで 1 段化する発想を説明できる
  • 報酬の過剰最適化(Goodhart)と、KL 正則化 β\beta の役割を理解している
  • RLVR の検証器と、プロセス報酬の各ステップへの評価を区別できる
  • 迎合とアラインメント税を選好調整の副作用として説明できる

関連トピック

参考資料

TODO・未確認事項