> Nor does it seem like an amount that can make a dent in the energy consumption problem of Bitcoin mining.

Jevon's paradox indicates that they will make it much much much much worse.