When mining got tough, these firms chased AI dreams. Here’s how it panned out.