国内首场机器人3V3足球比赛，全靠AI自主运行，清华大学火神队夺冠