10 quick takes about AGI — LessWrong