Baidu’s AI reboot is overdue and welcome