Rohin Shah on reasons for AI optimism