از بیل و کلنگ تا ربات و الگوریتم؛ معدن‌کاری وارد عصر هوشمند شد