From GPT to AGI — LessWrong