Qiaochu_Yuan comments on Above-Average AI Scientists