4位图灵奖得主布道，2大冠军机器人登台，“AI春晚”果然又高又硬