太空采矿机器人来了,国内首个"星际矿工"诞生。(剪辑:祁泉)