x
Proving Too Much (w/ exercises) — AI Alignment Forum