GJP on AGI — LessWrong