MARA sold 15,133 BTC for $1. 1 billion to reduce convertible debt by 30%. The Bitcoin miner is shifting focus toward AI and HPC infrastructure.