Reading List

Updated: 05 January 2026

https://www.youtube.com/@numberphile/videos
https://www.youtube.com/@Computerphile/videos
https://www.youtube.com/@OxfordMathematics/videos

• Formal and informal proofs, Milos Hauskrecht
• Sleeper agents: Training deceptive LLMs that persist through safety training
• The Mechanics of Proof