Qiaochu_Yuan comments on Sources of intuitions and data on AGI