But we have heat pumps. The heat pumps are pretty well developed technology at this point, meaning for same electricity we could move lot more heat.
But that's besides the point. The question was whether mining is becoming more efficient, not whether mining can deliver secondary purposes as efficiently as other technology that's specifically designed for those purposes.