Richard Korzekwa comments on Rohin Shah on reasons for AI optimism