Baidu pivots toward AI infrastructure and robotics.