Wei Dai comments on A Challenge for LessWrong