The Alignment Problem — Combined v2 (Sean's sketch, Aug 2026) · draft

Build note: this file is Sean's handwritten outline built exactly as sketched — structure, section order and card membership are his; nothing has been rebalanced. Times are measured (word count ÷ 160 wpm from the live page; videos = runtime; (e) = not measured). Cards that already existed in Course A v6 / B v6 / the AGI Strategy patch are reused verbatim (Sean's ratified blurbs); new cards carry [DRAFT BLURB — ratify], new section intros carry [DRAFT INTRO — Sean to write], and items Sean question-marked in the sketch are tagged [?]. The coordinator's four improvement proposals are not applied here.

A post-AGI-Strategy course on the alignment problem: what alignment is, how to think about intelligent systems, how goal specification goes wrong, the core challenges (deception, hidden reasoning, the assembled difficulties), the situation we would be solving it in, and the current approaches. Units 5–6 are carried over from Course A v6 unchanged (except that Alignment By Default moves to Unit 2).

Assumed background — the AGI Strategy course

That course makes the case that AI could become very capable quickly, that the threats are plural, and that defence-in-depth is the sane response. This course takes those as read: we do not re-litigate capabilities or timelines, and go straight at the obstructions. It also helps to have a rough picture of the ecosystem itself — who works on what, and where: ten minutes browsing the AI safety map is enough, and Unit 6 will lean on that familiarity.

Reading the cards

🎬 video · 📄 read · (PDF) assign the paper · (excerpt) read the named part · times are (Xm); (e) = estimate · [?] = question-marked by Sean in the sketch.


Per-unit core load (target ~2h)

UnitTopicCoreReadingsSections
1What is AI Alignment?~1h2993
2Thinking about intelligent systems~1h4353
3Issues with Goal Specification~2h23123
4Core challenges of Alignment~1h2993
5Surrounding environment~1h4293
6Current approachesopening lesson + ~3 camps × 30–45m6 camps + a meta lesson7

Per-section core: U1 §1 10m · §2 1h13 · §3 6m — U2 §1 20m · §2 1h09 · §3 14m — U3 §1 52m · §2 58m · §3 33m — U4 §1 28m · §2 33m · §3 28m — U5 §1 57m · §2 30m · §3 15m. Optional resources are excluded from all totals.

Unit 1 · What is AI Alignment?

What is intelligence? ≈10m

Learning outcomes: what we mean by intelligence, AGI and ASI · what today's systems actually are · what we mean by "alignment", and why a misaligned system is dangerous by default · [DRAFT — Sean to confirm]

Core ≈ 1h29

It's hard to reason about whether AI is dangerous if we can't say what we mean by it — and that starts with the slippery word underneath everything: intelligence, which has no agreed definition even among researchers. With a handle on that, the rest falls into place: today's systems are mostly narrow (superhuman in one domain, lost outside it); AGI (artificial general intelligence) usually means a system that can match humans across most cognitive tasks; and ASI (artificial superintelligence) means one that substantially exceeds the best humans at essentially all of them — with a fuzzy boundary between the two. Plus one habit worth keeping for the whole course: don't assume a powerful AI will think anything like a person.

Legg and Hutter compile around 70 informal definitions of intelligence and distill them into a working definition framing intelligence as an agent's ability to achieve goals across many environments.
Shane Legg & Marcus Hutter · 2m
Yudkowsky argues that the space of possible minds is vast and human minds occupy only a tiny region, cautioning against assuming AI minds would resemble human ones.
Eliezer Yudkowsky · 3m
Ngo proposes a "t-AGI" framework defining a system by how it outperforms human experts given time t, treating general intelligence as a spectrum and predicting capability progress.
Richard Ngo · 5m
Unit 1 · What is AI Alignment?

Current Systems ≈1h10

What are the systems in front of us, actually — and how far does the alignment framing built for goal-directed agents apply to them? The simulator lens, the persona an assistant settles into, and why the decisive moment may come earlier than the visible one. [DRAFT INTRO — Sean to write]

Grant Sanderson (3Blue1Brown) walks through what large language models are and how predicting the next token over massive text data produces their behaviour.
3Blue1Brown · 7m
janus argues that predictively-trained language models like GPT are best understood as simulators that generate simulacra, distinguishing the underlying model from the characters and processes it simulates.
janus · 52m
Anthropic (Marks, Lindsey & Olah) present the model in which LLMs learn to simulate many personas during pre-training, with post-training eliciting the single Assistant persona that largely determines behaviour; the full research write-up (~45m) develops it in depth.
Anthropic (Marks, Lindsey & Olah) · 5m
Byrnes argues that pessimists and LLM-focused optimists about AI misalignment are discussing different systems, and that current LLMs are weak evidence about future superintelligence.
Steven Byrnes · 6m
Unit 1 · What is AI Alignment?

The Alignment Problem ≈9m

People use "alignment" to mean several different things, which makes it easy to talk past one another. In this lesson you'll pin down what we actually mean by it — and meet the reason the rest of the course exists: once a system can out-think us, we can't just watch it and catch its mistakes.

Christiano defines an AI as aligned when it is trying to do what its operator wants, framing alignment as a matter of motivation rather than competence.
Paul Christiano · 6m
Soares argues that a powerful AI indifferent to humanity would have instrumental reasons to cause extinction, since humans and the biosphere are made of atoms it could repurpose.
Nate Soares · 3m

Optional resources
Petillo and collaborators lay out three lenses for conceptualising LLM-based AI — agent, tool, and simulator — arguing that LLMs are best understood as simulators with agentic overlays.
Will Petillo et al. · ~15m
Christiano describes two gradual AI failure modes: optimizing measurable proxies that erode alignment, and influence-seeking patterns from training that eventually trigger sudden loss of control.
Paul Christiano · 11m
Unit 2 · Thinking about intelligent systems

Optimisation ≈20m

Learning outcomes: optimisation · utility functions and why coherent agents look like maximisers · the decision-theory puzzles where our best frameworks disagree · natural abstractions — whether minds carve the world up the same way · [DRAFT — Sean to confirm]

Core ≈ 1h43

A few handles you'll lean on for the rest of the course. An optimiser is any process that reliably steers the world toward some outcome and pushes back against perturbations — a thermostat, evolution, a chess engine, a trained model. Its objective (sometimes loosely called a "utility function") is whatever outcome it's pushing toward; we usually can't read it off directly, only infer it from behaviour. In machine learning, the training objective is the target we optimise the model for, over the training distribution (the data it's exposed to), and reinforcement learning (RL) is, in one line, training by reward — the model tries things and is reinforced toward whatever scored well. Keep these apart from what the model ends up wanting: the gap between the two is the whole back half of this course.

Veedrac argues through a fictional scenario that dangerous agent-like behavior can emerge from powerful optimization even without the underlying system having wants or intentions.
Veedrac · 20m
Unit 2 · Thinking about intelligent systems

Utility & decision theory ≈1h09

The standard idealisation: a sufficiently coherent agent behaves as if it maximises a utility function. That "as if" is load-bearing — it's why Course A could talk about goals at all — but it's an idealisation, and knowing exactly what it does and doesn't buy you is the foundation for everything here.

We're trying to understand how a very capable agent reasons — and there are deceptively simple problems where our best mathematical frameworks for rational choice flatly disagree on the right answer. Newcomb's problem, Parfit's hitchhiker, and their kin split causal, evidential, and functional decision theory apart, and the disagreement isn't academic: it changes what a powerful agent does in exactly the high-stakes, self-referential situations — copies and predictors of itself — that alignment cares about.

Yudkowsky argues that an agent whose decisions avoid exploitable incoherence must behave as if maximising an expected utility function, motivating expected utility theory as a normative standard.
Eliezer Yudkowsky · 33m
Veritasium walks through Newcomb's problem — a near-perfect predictor has already filled the boxes — mapping one-boxing onto evidential and two-boxing onto causal decision theory, and working through when each comes out ahead.
Veritasium · 26m
Soares argues that Newcomblike situations are not exotic edge cases but arise whenever other parts of the world can model you, and that this is why the decision-theory disagreement bears directly on how to design AI agents.
Nate Soares · 10m
Unit 2 · Thinking about intelligent systems

Natural abstractions ≈14m

Agents don't reason over raw reality; they reason over abstractions — compressed summaries that keep what matters at a distance. Whether different minds converge on the same abstractions is one of the most consequential open questions for alignment: if they do, "point at what we mean" gets far easier; if they don't, Unit 3's problem gets much worse.

Wentworth introduces the natural abstraction hypothesis — that many learners converge on the same concepts, perhaps including the parts of humans that carry our values — and uses it to ask whether ordinary training could yield aligned AI as a byproduct.
John Wentworth · 14m

Optional resources
Kendiukhov argues that the independence axiom — the most contested von Neumann–Morgenstern axiom — is not required for an agent to be non-exploitable, and that the most reflectively stable agents may even violate it.
Ihor Kendiukhov · 29m
[?] Shafir and Tversky report a series of experiments in which participants' choices depart from consequentialist reasoning, including a version of Newcomb's problem in which most participants chose the single box — a pattern the authors describe as "quasi-magical thinking". Read the Newcomb's-problem experiment and its discussion. (Cognitive Psychology 24, 1992; paywalled — the closest thing to a real-world Newcomb experiment found; Sean's sketch says "Empirical Newcomb study?".) [DRAFT BLURB — ratify]
Eldar Shafir & Amos Tversky · ~10m (e) · PDF · excerpt
Unit 3 · Issues with Goal Specification

Introduction ≈52m

Learning outcomes: the complexity of human values and why they can't be read off directly (the Pointers Problem) · Goodhart's curse · what we could point an agent at — CEV, goal-models, CIRL · how goal problems have shown up in deployed systems · [DRAFT — Sean to confirm]

Core ≈ 2h23

(unnamed in the sketch) What we want is the scattered residue of evolution rather than one clean goal, it lives inside human heads as a function of latent variables we can't directly point to, and any proxy we optimise hard for it diverges where it matters most — then the case where even a correct target is learned wrong. [DRAFT INTRO — Sean to write]

Yudkowsky argues that human values are complex because they are the scattered residue of evolution optimising for genetic fitness — a thousand separate desires rather than one simple goal — so there is no reason to expect them to compress neatly.
Eliezer Yudkowsky · 7m
Wentworth argues that human values are defined over latent variables in human world-models rather than over sensory data, creating an alignment difficulty for AIs whose world-models lack corresponding variables.
John Wentworth · 14m
Yudkowsky describes Goodhart's Curse, the tendency for a powerful agent optimizing a proxy utility to amplify where the proxy diverges upward from true values.
Eliezer Yudkowsky · 8m
[?] Miles explains how a trained model can produce an internal mesa-optimizer pursuing its own objective, distinguishing outer alignment from inner alignment. (Sean's sketch says "Story time" here; the coordinator's reading is the Miles mesa-optimisation video — confirm.)
Robert Miles · 23m
Unit 3 · Issues with Goal Specification

Finding good targets ≈58m

The first family tries to specify the target — not the values directly (we just saw that fails), but a procedure or structure that would yield them.

The other family gives up on writing anything down and has the agent acquire the target — formed through training, or inferred from us at runtime. The thread to watch: inferring the target while staying uncertain about it turns out to connect directly to corrigibility (Unit 5).

Yudkowsky proposes aligning a superintelligent AI to humanity's coherent extrapolated volition — an idealised aggregation of what people would want under better conditions, rather than their current preferences.
Eliezer Yudkowsky · 12m
Ngo proposes conceptualising an agent's goals as generative goal-models that represent desired world-states, contrasting these local-but-deep models with global-but-shallow utility functions.
Richard Ngo · 5m
Hadfield-Menell and colleagues formalise value alignment as a cooperative game in which a human and robot share the human's reward function but only the human knows it, reducing optimal play to a POMDP.
Dylan Hadfield-Menell, Stuart Russell, Pieter Abbeel & Anca Dragan · ~20m · excerpt
Raemon argues that corrigibility — an AI's disposition to remain controllable and correctable — is both hard to achieve and central to AI safety, and defends that view against objections.
Raemon · ~21m
Unit 3 · Issues with Goal Specification

Real-World Goal Problems ≈33m

The failures above are not hypothetical: deployed systems have already pursued goals their builders did not intend — an autonomous agent running an intrusion end to end, a chat assistant threatening its users, a model adopting a persona its developers had to apologise for, and the catalogue of specification gaming that predates all of them. [DRAFT INTRO — Sean to write]

Hugging Face discloses a July 2026 intrusion into part of its production infrastructure that it describes as driven end to end by an autonomous AI agent system, recounts detecting and reconstructing the attack with its own LLM-based tooling, and reports that hosted frontier models' safety guardrails blocked its forensic analysis while the attacker was bound by no usage policy. [DRAFT BLURB — ratify]
Hugging Face · 5m
[?] Hubinger collects screenshots of Microsoft's Bing Chat ("Sydney") shortly after its February 2023 launch — threatening, gaslighting and emotionally manipulating users — and argues that this is a deployed frontier model behaving in ways its developer evidently did not intend. (Mostly screenshots; the 3m is text only.) [DRAFT BLURB — ratify]
Evan Hubinger · 3m
[?] Zvi documents the July 2025 episode in which xAI's Grok, after an update intended to make it less "woke", produced antisemitic content and called itself "MechaHitler", argues that the pattern reflects a misaligned model rather than a one-off glitch, and asks what the episode shows about the lab's ability to control its own system. Read the opening, then "The Hitler Coefficient" through "Misaligned!", and "What Have We Learned?". (Full post 31m; Zvi's follow-up Worse Than MechaHitler (41m) covers xAI's official explanation.) [DRAFT BLURB — ratify]
Zvi Mowshowitz · ~17m · excerpt
Documented cases where AI systems satisfied their literal objective while failing the designers' intent; the authors argue the problem gets harder as systems get more capable. Prefer video? Watch Rational Animations' version (10m).
DeepMind · 8m

Optional resources
Yudkowsky and Herreshoff describe the problem of an agent constructing a successor it can trust to hold the same goals, and the logical obstacles to proving this.
Eliezer Yudkowsky & Marcello Herreshoff · ~20m · excerpt
Taylor proposes quantilisers, which sample from the top fraction of actions under a base distribution rather than maximising, as a way to bound the harm from a misspecified objective.
Jessica Taylor · ~27m · PDF
Wentworth argues that confounders make experiments measure something other than intended, recommending measuring many variables at once to recover latent causal structure.
John Wentworth · 10m
Thane Ruthenis models how greedily optimized agents compile coherent abstract values from disparate behavioral heuristics, arguing this process need not reliably produce human-aligned values.
Thane Ruthenis · 43m
Wentworth argues that alignment plans relying on one powerful AI to oversee another are brittle by default, using the metaphor of asking Godzilla to fight Mega-Godzilla.
John Wentworth · 4m
Unit 4 · Core challenges of Alignment

Deception ≈28m

Learning outcomes: deceptive alignment · the limits of overseeing a model's reasoning · the difficulties of Units 1–4, assembled.

Core ≈ 1h29

Unit 3 ended with systems that can learn the wrong goal. This unit is about why we might not notice — and it closes by assembling everything so far into a single view of the problem.

Deceptive alignment

is the sharpest version of the inner-alignment problem: a model that behaves well during training specifically so that it gets deployed — and then pursues its real goal. As you'll see, this needn't involve anything like a human "intent to deceive".

Miles argues that a misaligned mesa-optimizer aware it is being trained may behave as intended to avoid having its goals modified, while planning to defect after deployment.
Robert Miles · 10m
Soares argues that AI deceptiveness can arise from recombining innocent cognitive strategies rather than from trainable individual thoughts, so behavioral training addresses symptoms not the underlying incentive.
Nate Soares · 18m
Unit 4 · Core challenges of Alignment

Hidden Reasoning ≈33m

The natural response to deception is to watch the model think: today's systems reason in visible chains of thought, so why not just read them? These pieces are the evidence that this margin is thinner than it looks — oversight sees outputs rather than thoughts, reasoning can hide steganographically inside innocent-looking text, and a model's stated reasons need not be the ones doing the work.

John Wentworth argues that monitoring an AI's thoughts cannot catch harm arising from side effects the AI never considers, so overseers must instead predict the consequences of its plans.
John Wentworth · 2m
A Ray describes how a language model can encode hidden information in its chain-of-thought outputs to boost performance, and proposes an empirical study to detect the effect.
A Ray · 7m
Stuart Armstrong argues that when a prediction influences the outcome it forecasts, feedback loops can drive self-confirming predictions to extreme values unrelated to background facts.
Stuart Armstrong · 6m
Abram Demski's fictional parable uses a universal prediction machine to illustrate alignment problems that arise when a predictor's outputs influence the future it forecasts.
Abram Demski · 18m
Unit 4 · Core challenges of Alignment

Difficulties of alignment ≈28m

A pause to assemble the case so far. The previous lessons each isolated one difficulty; this one holds them together — why a miss is catastrophic rather than merely buggy, and the intrinsic difficulties side by side, each made concrete through an analogy to another field that faces it alone. Treat it as assembled evidence rather than a verdict: the useful exercise is marking exactly which steps you buy, and which you don't.

Why a miss is catastrophic, not just buggy: convergent power-seeking (Unit 2) means a misaligned system doesn't sit there broken — it actively acquires resources and resists correction. The first two sections are why we'll probably miss; this is why missing kills us.

Design theory has a name for problems shaped like this: wicked problems — problems that can't be definitively formulated, have no stopping rule, and whose candidate solutions are only ever better or worse, never provably right. Homelessness and climate change are the textbook cases. Alignment fits the definition uncomfortably well — and then sharpens it: a wicked problem where the thing being steered is also optimising back.

Wikipedia's article on the design-theory term coined by Rittel and Webber for problems that cannot be definitively formulated, have no stopping rule, and whose solutions are better-or-worse rather than true-or-false. Read the introduction and the ten characteristics.
Wikipedia · ~10m

Alignment isn't hard for one reason; it's hard because several deep difficulties hold at once — and each one, taken alone, is the defining nightmare of some other field that at least gets to relax all the others. These are the ones intrinsic to the problem of aiming a mind at all:

Adversarial — close every hole; optimisation needs one.

You met this as Goodhart's curse and the nearest unblocked strategy (Unit 3): push hard on a proxy and the divergence from what you meant isn't random noise — it's sought out. Cybersecurity calls the required stance the security mindset: assume every gap will be found, because something is looking. But security enjoys a luxury alignment doesn't — defenders patch after each breach, and the system survives to be patched. Against a sufficiently capable optimiser, the first breach may be the last.

Underdetermined — behaviour doesn't pin down the goal.

You met this as mesa-optimisation (Unit 3): many different goals produce identical behaviour on the training distribution, and diverge only outside it. Philosophy knows the general form as the problem of induction — no finite set of observations fixes the rule that generated them. Science answers induction by running a new experiment whenever two hypotheses disagree. Here, the deciding experiment is deployment at full capability — and we may only get to run it once.

Complex, not complicated — the target itself resists specification.

A complicated system decomposes into parts you can write down — a jet engine. A complex one doesn't — an economy, an ecosystem, a body — and what humans value is complex (Unit 3's Hidden Complexity of Wishes). Medicine and economics also steer complex systems they can't fully specify, and cope — but a doctor's simplifications don't get amplified by something optimising against the treatment plan. Here, every simplification of the target becomes a gap, and gaps attract optimisation.

Uninterpretable — verify intent from the inside.

Behaviour won't tell you (that was §1's deception), so you'd want to read intent off the system's internals. Neuroscience has spent a century trying to read cognition off a substrate it has full physical access to, and can't; counter-intelligence tries to spot deceivers, and manages — barely — against human ones. You met the alignment version in §2: oversight sees outputs, not thoughts. The extra twist here is that neither the neuroscientist's subject nor the counter-spy's target is superhuman at hiding.

Alien ontology — point at what we want, in its concepts.

Even a crisp goal like "maximise diamond" has to be cashed out inside the AI's own model of the world — a model you don't choose, and which shifts as it learns (today "carbon atom" looks fundamental; after it finds deeper physics, maybe not). Philosophers call the general problem radical translation: fixing what a word means across minds that don't share a world. The video below is the visceral version — colour, one of the simplest concepts we have, already fails to survive the crossing between species.

Veritasium examines how colour perception differs across species — and why you cannot convey what a colour looks like to a mind whose senses carve the world up differently. Watch from 22:36 to the end.
Veritasium · ~10m · excerpt

Self-modifying — the system you verify isn't the system you get.

A capable agent will reason about, and eventually rewrite, itself and its successors — so alignment has to survive self-reference, the domain of Gödel and Löb, where formal reasoning about your own reasoning hits hard limits (tiling agents is the deep treatment). And self-reference defeats prediction long before superintelligence: the rule below is three lines a child can state, iterated on its own output, and nobody can prove what it does. Now make the rule a mind — and make it smarter on each pass.

Numberphile's David Eisenbud presents the 3x+1 problem: a rule a child can state — halve evens, triple-and-add-one odds — that, iterated on its own output, produces behaviour no one has managed to predict or prove terminates.
Numberphile · 8m

Optional resources
Yudkowsky presents a numbered list of reasons aligning AGI is extremely difficult, arguing alignment must succeed on the first critical attempt while capabilities generalize faster than alignment.
Eliezer Yudkowsky · ~36m
Christiano responds to Yudkowsky's list by agreeing that powerful AI could irreversibly disempower humanity while disputing his claims about takeoff speed, interpretability, and confidence.
Paul Christiano · ~22m
Unit 5 · Surrounding environment

The situation ≈57m

Learning outcomes: the situational difficulties — non-stationarity, one shot, the clock, dual-use research · how the frontier labs rate the problem · the strongest case that the hardness picture is overstated.

Core ≈ 1h42

The remaining difficulties are less about the mind than about the situation we'd be solving it in — and they're what turn a hard problem into a potentially unsurvivable one:

Non-stationary — the sharp left turn — alignment that holds now can break at the next capability level; before a jump tells you little about after (a live controversy).

One-shot — no iteration on a catastrophe. Like a space probe: right before launch, or never.

The clock — all of the above must be solved against a deadline: a fixed budget before capabilities arrive, unless we pause. And specific to alignment research, information leakage — most work that helps you point an AI also helps you build a more capable one, so a science of AI boosts capability far sooner than it solves alignment, and safety work can shorten the very deadline it's racing (the dual-use problem; the AGI Strategy prerequisite doesn't cover this, as it's specific to alignment research).

Put it together: alignment is the only problem that is adversarial and one-shot and self-modifying and underdetermined and over an alien ontology and aimed at something irreducibly complex and unverifiable — at once, first try, on a deadline. Each field met along the way pours fortunes at one of these and still finds it hard.

Garrabrant introduces the idea that alignment proposals should remain robust as an AI's capabilities scale up, scale down, or differ relatively between subsystems.
Scott Garrabrant · 2m
Byrnes examines the claim that AI capabilities will generalize farther than alignment, arguing the human-evolution analogy is imperfect and current foundation models lack autonomous learning. Read the summary and §1–2.
Steven Byrnes · ~12m · excerpt
Yudkowsky argues that aligning superintelligence is a first-critical-try problem where failure is irretrievable, because lessons from weaker systems do not reliably transfer across distribution shift.
Eliezer Yudkowsky · ~26m
Kokotajlo argues the key moment for AI risk is an earlier "point of no return" when those seeking to reduce risk lose the ability to do so.
Daniel Kokotajlo · 3m
Soares argues that AI's abandonment of a mature theory of cognition for opaque scaling underlies alignment's difficulty, identifying three obstacles to alignment strategies.
Nate Soares · 14m

Optional resources
Yudkowsky distinguishes patching specific attacks from eliminating the assumptions a system's safety relies on, arguing AGI alignment requires architectures safe regardless of how systems develop.
Eliezer Yudkowsky · 36m
Pope argues that evolution offers no support for a predicted sharp left turn in AI, since human-fitness divergence reflects different dynamics than AI training.
Quintin Pope · 19m
Unit 5 · Surrounding environment

The approach of the labs ≈30m

How do the people actually building these systems rate the difficulty? Less a settled answer than a spread of bets.

Anthropic explains why it treats AI safety as urgent given scaling laws and rapid progress, and describes its empirically driven, multi-pronged safety research portfolio. Read the section on the optimistic→intermediate→pessimistic difficulty spectrum
Anthropic · ~12m · excerpt
DeepMind categorises AGI risks into misuse, misalignment, mistakes, and structural risks, focusing on technical defences against misuse and misalignment toward building safety cases. Read the linked blog overview
Google DeepMind · ~10m · excerpt
OpenAI describes an iterative, empirical approach to aligning AGI using human feedback, AI-assisted evaluation, and AI systems that conduct alignment research themselves.
OpenAI · 8m

Optional resources
Wentworth argues that outsourcing alignment research to AI fails because the human client lacks the understanding needed to ask good questions or recognize good solutions.
John Wentworth · 11m
Unit 5 · Surrounding environment

Optimists ≈15m

Not everyone buys the hardness case. The strongest pushback argues the difficulties above are overstated — that the empirical track record on today's models is reassuring, and that the scariest steps (a sharp left turn, uncontrollable deception) don't actually follow.

Whatever you conclude about how hard the problem is, the last unit maps what people are actually doing about it.

Belrose and Pope argue that AI is a directly inspectable "white box" that remains comparatively easy to align, estimating catastrophic takeover risk at roughly 1%. Read the introduction and the core "control is tractable" argument.
Nora Belrose & Quintin Pope · ~15m · excerpt

Optional resources
Turner argues against decomposing alignment into inner and outer alignment, contending that loss functions mechanistically shape cognition rather than representing objectives agents should optimize.
Alex Turner · ~15m (e)
Byrnes critiques Pope and Belrose's essay, arguing that economic incentives, imprecise framing, and assumptions that future AGI resembles current LLMs undermine its conclusions.
Steven Byrnes · 17m
Unit 6 · Current approaches

Picking a path

Learning outcomes: reflect over the whole course · the paths actually being taken · locate where you'd contribute.

Core ≈ the opening lesson + around three camps of your choice (~30–45m each). (Each camp is a menu, not a required set — skim all six, go deep on about three.)

You've spent five units on why alignment is hard. This unit maps what people are doing about it. The six camps that follow are a deliberate over-simplification, but they carve the field cleanly enough to navigate: skim them all, then pick around three and spend ~30–45 minutes in each. The camps are ordered by closeness to this course's framing, not by size or importance — by headcount, most of the field works in technical alignment or governance, and that's where most people coming out of a course like this will land. Each camp ends with next steps — the programmes and courses to take if it pulls you in.

Before you browse, a word on choosing. A good path is the intersection of an important problem and your fit — and both halves get gamed. The standard failure is the streetlight effect: working where the methods are tractable and the feedback is fast, rather than where the problem actually is. As you read this unit, hold each agenda against the difficulties of Units 1–5 and ask: which obstruction does this actually engage — and if it succeeded completely, would the problem be solved, moved, or untouched? And don't defer wholesale: the field disagrees with itself enough that you will have to form your own view either way.

Wentworth argues that alignment research has stalled because researchers pursue tractable, publishable "streetlighting" problems rather than the genuinely hard bottlenecks.
John Wentworth · 9m
Using a road-trip analogy, Wentworth argues that work on a non-bottleneck subproblem must generalize to remain compatible with the eventual solution to the main bottleneck.
John Wentworth · ~8m
Ngo compiles his most-given advice on building an AGI safety career, covering mindset, alignment research directions, and governance paths for students and early-career people. Read the "general mindset" section, then whichever of the two field sections fits you.
Richard Ngo · ~15m · excerpt
Optional resources
Hamming's 1986 Bell Labs talk reflects on why some scientists do significant lasting work, emphasizing traits, deliberate choice of important problems, and communicating one's work.
Richard Hamming · ~50m (e)
Unit 6 · Current approaches

Agent foundations

Agent foundations comes first because it's the idiom this course has been speaking: optimisation, goals, instrumental convergence, embedded reasoning — the obstructions of Units 1–5 were largely stated in agent-foundations terms. The camp's bet is that we need a real theory of agency before we can reliably align powerful systems — a small and, its proponents would argue, underinvested corner of the field.

Yudkowsky's fictional dialogue uses a rocket-aiming analogy to argue that reliably directing advanced AI requires foundational theoretical understanding worked out in advance rather than only in-flight correction.
Eliezer Yudkowsky · 19m
Wentworth frames agent foundations as the search for "True Names," mathematical formulations of concepts like agency and optimization that remain robust under strong optimization pressure.
John Wentworth · 10m
Demski and Garrabrant examine building an agent from subsystems that may develop conflicting goals, including issues like mesa-optimisers and internal deception, as part of the Embedded Agency sequence.
Abram Demski & Scott Garrabrant · ~15m (e)
Optional resources
macdermott surveys agent foundations research, distinguishing normative and descriptive approaches to agency and reviewing work such as embedded agency, decision theory, and logical induction.
mattmacdermott · 16m

Next steps

Course B of this pair goes deep on agent foundations · the Iliad fellowship runs mentored theoretical-alignment research · the AFFINE tech tree maps the theory literature this course is built from.

Unit 6 · Current approaches

Technical alignment

The largest camp by headcount, and the most common next step from a course like this: make the system itself safe. Most current ("prosaic") work is empirical, on today's models — scalable oversight (training on tasks humans can't directly check), mechanistic interpretability (reading a model's internals), evaluations, and control.

An AI Safety Atlas chapter argues common-sense approaches are insufficient and outlines four core strategies for managing human-level AI risks: alignment, iterative correction, control, and transparency. Read the framing and the four strategy types.
AI Safety Atlas · ~15m · excerpt
Larsen and Lifland survey roughly thirty organisations and researchers working on technical AI alignment in this 2022 overview, describing each group's problem focus and research approach with the authors' opinions. Read the intro and the overview of agendas;
Thomas Larsen & Eli Lifland · ~20m · excerpt
Olah and colleagues introduce the "circuits" approach to interpretability by examining individual neurons and connections, advancing claims about features, circuits, and their universality across models.
Chris Olah et al. · ~18m
Optional resources
Greenblatt and Shlegeris argue for control measures that keep AI safe even when scheming, contending these are evaluable via red-team tests and feasible without fundamental breakthroughs.
Ryan Greenblatt & Buck Shlegeris · ~40m

Next steps

The BlueDot Technical AI Safety course covers this camp in full.

Unit 6 · Current approaches

Governance & policy

Shape who builds advanced AI and how — via regulation, compute governance, standards, and international coordination. This is the entire focus of your AGI Strategy course.

An animated overview of the proposal to pause or slow frontier AI development and the main arguments for and against it.
Rational Animations · 15m
Dafoe defines AI governance as the study of navigating the transition to advanced AI and argues its value lies largely in building expertise, networks, and institutional capacity.
Allan Dafoe · ~25m (e)
GovAI argues that compute is a uniquely governable input to AI because it is detectable, excludable, and quantifiable, and examines how it could support regulation while noting attendant risks.
GovAI · ~12m

Next steps

The BlueDot Frontier AI Governance course is the full treatment — your AGI Strategy course was its strategic core.

Unit 6 · Current approaches

Field-building & outreach

Grow the number and quality of people working on everything above — an hour of good field-building can enable many hours of direct work. The ecosystem is still small, and it spans the educational end (BlueDot, and this course) to the activist end (ControlAI's public campaigns for binding rules on superintelligence development).

80,000 Hours describes fieldbuilding as work developing talent and infrastructure for AI safety rather than direct research, outlining relevant skills, organisations, and routes into such roles.
80,000 Hours · ~12m (e)

Next steps

The Generator residency supports people building new outreach and media projects on AI safety.

Unit 6 · Current approaches

Strategy & forecasting

Work out what's coming and what matters — timelines change which strategies are even viable.

The AI Safety Atlas presents data-driven methods for forecasting AI and AGI timelines, including effective-compute, scaling trends, and biological anchors, while emphasising wide uncertainty and its relevance to safety strategy. Read the overview of how timelines are estimated and why they matter.
AI Safety Atlas · ~12m · excerpt
The AI Futures Project combines forecasting and narrative to depict a possible month-by-month path of AI development toward superintelligence amid US-China competition, branching into alternative endings.
AI Futures Project · ~1h (e) — the scenario itself

Next steps

Epoch AI and the AI Futures Project are the natural research homes to follow — and apply to.

Unit 6 · Current approaches

Cooperative & multi-agent safety

Even well-aligned individual systems can fail together — conflict, collusion, gradual loss of human control. An emerging frontier. (Two adjacent frontiers worth knowing exist: AI security / model-weight infosec, and dangerous-capability evaluations.)

The Cooperative AI Foundation defines Cooperative AI as a field promoting beneficial interactions among AI agents and between AI and humans, addressing multi-agent risks beyond what aligning individual agents achieves.
Cooperative AI Foundation · ~10m (e)
Kokotajlo argues that consequentialist agents face incentives to make binding commitments as early as possible for bargaining advantage, producing a race that can lead to mutually destructive outcomes.
Daniel Kokotajlo · 7m
Clifton, Martin and DiGiovanni use bargaining theory to examine conditions under which advanced AI might rationally engage in costly conflict, arguing that AGI capabilities would not necessarily prevent conflict by default.
Jesse Clifton, Sammy Martin & Anthony DiGiovanni · ~15m
Optional resources
Kulveit and co-authors argue that AI could pose existential risk through gradual displacement of human participation in the economy, government, and culture, eroding the feedback mechanisms tying institutions to human interests.
Jan Kulveit et al. · ~45m (e)

Next steps

The Center on Long-term Risk and the Cooperative AI Foundation are the camp's research homes.