Loose thoughts on AGI risk — LessWrong