Why would they? I hear their main revenue is in AWS and AdTech. Assuming this is true, why would they need bleeding edge AI?