10 quick takes about AGI — AI Alignment Forum