gwern comments on From GPT to AGI