Bitcoin miner MARA sold $1.5 billion of bitcoin as it shifts toward AI infrastructure #sold #miner_MARA #Bitcoin_miner #MARA #MARA_sold