AGI is easier than robotaxis — AI Alignment Forum