Ember vs. gép: lejárt a bányászok ideje?