The case for AGI by 2030 — LessWrong