Qiaochu_Yuan comments on Likelihood of discontinuous progress around the development of AGI