Baidu’s artificial-intelligence wizard, Andrew Ng, has resigned from China’s search giant