In mining, billion-dollar bets depend on how someone reads a rock. Exploration starts by drilling narrow tubes of rock called “cores” that reveal the mineral potential underground. The way those cores ...