A top Google AI exec says there's nothing new about DeepSeek