A bitcoin miner just signed a 9 8 billion ai deal