trevor comments on AI Risk Intro 1: Advanced AI Might Be Very Bad