采矿技术不是为了取代人,而是为了让他们能够做得更好。