jsteinhardt comments on LessWrong IQ Survey