The Jevons Paradox applies brutally here: more efficient miners just increase the value of bitcoin, potentially drawing in more users and even resulting in a net increase in consumption.