Två framstående AI-forskare lämnar Google