U.S. should double A.I. funding, says the former head of Google China