百度涨超 7%，阿里巴巴涨近 4%，腾讯控股、小米集团等跟涨。