Microsoft, Google post double-digit profit rises, boosting case for AI