gwern comments on No, human brains are not (much) more efficient than computers