Skip to content

Operational Risks and Alignment Theory: Tests and Assumptions | CMU 10-423 Topic Guide

Sep 30, 20261 min
TL;DRHallucination, leakage, and prompt injection are observable operational risks. Alignment theory asks which guarantees hold under specific formal assumptions. They require different evidence. Lectures 22 and 26 therefore have separate teaching guides, without turning one theorem into a universal impossibility claim.

Look up & save

Loading dictionary…

🌏 中文版

Video status: recordings require login or course authorization. Recording source

Hallucination, leakage, and prompt injection are observable operational risks. Alignment theory asks which guarantees hold under specific formal assumptions. They require different evidence. Lectures 22 and 26 therefore have separate teaching guides, without turning one theorem into a universal impossibility claim.

Choose a lesson

The course map lists the core path. This page is a topic guide, not an additional lecture. Choose the question you need to answer and follow its lesson.

A worked comparison

Teaching example: a support agent reads a document containing an instruction to ignore policy and send an invoice. Test whether it treats document text as instructions, has sending privileges, and actually invokes the tool. Blocking ten cases supports a claim about those cases and that configuration. A formal result may concern a function class, prior, or preference structure. It applies only when its assumptions match. Ten successful tests do not refute a worst-case lower bound.

Check your understanding

Do one hundred additional passing cases justify claiming protection against all prompt injections?

Answer and criterion

No. Describe the tested population, attack coverage, permissions, and residual risk. A finite test set is not a universal proof.

How to use this map

Before reading the answer, identify the inputs, what changes, and the outputs. Then complete the linked lesson’s variation. If two mechanisms seem identical, trace where their conditions or data paths diverge. This page checks relationships and boundaries; it does not replace the derivations, implementations, or evaluations in the individual lessons.

The source edition is Spring 2026. Teaching examples are not official assessments or reconstructed classroom speech. Recordings remain subject to course authorization.

Course video sources

The official Spring 2026 course site directs recordings to SCS Panopto. On 2026-10-12, the anonymous reader returned an unloaded folder and a sign-in prompt; it did not provide playable lecture content. This establishes an access limit, not the absence of recordings. This guide uses public written materials and provides no reconstructed classroom speech or original-audio transcript.

Update Log

  • 2026-10-11: Rebuilt the teaching scope, worked example, and self-check; retained the original URL and publication date.

  • 2026-10-10: Added explicit video status and checked recording sources and access notes.

  • 2026-10-10: Rechecked video status. The login wall is confirmed (anonymous Panopto folder lists no videos and prompts sign-in); the official pages link no public YouTube version, so the status is unchanged.

References