Clarifying and predicting AGI — LessWrong