Continuous FunctionStart learning

Foundation Lab

Mesa-Optimization & Inner Alignment

Explains why "passes training tests" ≠ "has right objective"

Concept 90 of 100Scaling & AlignmentPhase 12
Inspect equationAll Foundations
#90Mesa-OptScaling & Alignment
key equation
fθ(x)=arg⁡max⁡amθ(a;x)f_\theta(x) = \arg\max_a m_\theta(a; x)
Reading map and next steps

Selected Foundation Object

Keep the equation fixed; move through the evidence.

Concept 90 of 100Mesa-OptScaling & Alignment / Phase 12: Advanced alignment & safety research
Current question

Outer objective = training loss; inner objective = what model actually optimizes

fθ(x)=arg⁡max⁡amθ(a;x)f_\theta(x) = \arg\max_a m_\theta(a; x)
PredictionCommit before tracing the equation.

Ask what should change under a concrete input, then trace that expectation through the equation.

EvidenceCompare the equation and source.

Use the key equation and canonical papers as the available witnesses, without implying that a runnable panel exists.

InvariantName what survives notation changes.

The useful learning product is the reusable mechanism you can carry into another model, paper, or engineering tradeoff.

Next moveContinue through the atlas.

Use prerequisites, dependents, and semantic links to repair the next gap without leaving the object behind.

Inspect equationBrowse atlasNext foundation

Why It Matters for Modern Models

  • Explains why "passes training tests" ≠ "has right objective"
  • Risk grows when models learn internal search/planning
  • Central theoretical concern for advanced AI alignment

What Tutorials Skip

What is still poorly explained in textbooks and papers:

  • Outer objective = training loss; inner objective = what model actually optimizes
  • Goal misgeneralization: capabilities generalize, goals don't
  • Aligned on train distribution, diverges on deployment

Visualization Status

Core Math (Optional Deep Dive)

If you want intuition first, start with the key equation and cited sources. Come back here for the full walkthrough.

Key Equation
fθ(x)=arg⁡max⁡amθ(a;x)f_\theta(x) = \arg\max_a m_\theta(a; x)

Outer training:

θ∗=arg⁡min⁡θE(x,y)∼Dtrain[L(fθ(x),y)]\theta^* = \arg\min_\theta \mathbb{E}_{(x,y) \sim \mathcal{D}_{\text{train}}}[\mathcal{L}(f_\theta(x), y)]

But learned system may implement internal search:

fθ(x)=arg⁡max⁡a∈Amθ(a;x)f_\theta(x) = \arg\max_{a \in \mathcal{A}} m_\theta(a; x)

where mθm_\theta is an implicit mesa-objective ≠ designer's goal.

Canonical Papers

Risks from Learned Optimization in Advanced Machine Learning Systems

Hubinger et al.2019arXiv
Read paper →

Connections

Prerequisites

⌇Sharpness📝ICL

Next Moves

Choose the next question to carry this object forward.