Cango is the latest publicly traded Bitcoin miner to embrace AI, and it’s fueling that push by selling a bunch of Bitcoin.