Reading List Updated: 15 January 2026 YouTube @numberphile YouTube @Computerphile YouTube @OxfordMathematics YouTube @mitocw Formal and informal proofs, Milos Hauskrecht Sleeper agents: Training deceptive LLMs that persist through safety training The Mechanics of Proof