Core points (3)

• The generation-verification gap is the course's spine: sampling is cheap, checking is not.
• Self-improvement loops need process supervision, robust verifiers, and reward-hacking defenses.
• METR's doubling clock and GDPval put agent progress on a measurable ladder.