Wei Dai comments on Rohin Shah on reasons for AI optimism