Highly doubt that this will reduce the amount of mining in the world. Eth miners will mostly just switch to a different shitcoin. As long as BTC is dominant, mining will keep wasting gigatons of power. And how exactly would anyone dethrone BTC? The first mover advantage is everything, and nothing else has it.