Qiaochu_Yuan comments on Will AGI surprise the world?