Alexander and Yudkowsky on AGI goals — LessWrong