采矿机器人就像煤矿中的金丝雀，它可以帮助建筑等行业实现自动化。