Four themes were top of mind for tech executives at Davos, and they were all about AI.