The Uses of Fun (Theory) — AI Alignment Forum