PapersToAGI's Shortform — LessWrong