Google just hired a former OpenAI executive to boost its AI efforts