gwern comments on Criticisms of intelligence explosion