AI’s race for US energy butts up against bitcoin mining