trevor1 comments on What does it mean for an AGI to be ‘safe’?