gwern comments on Could a digital intelligence be bad at math?