Core Scientific mined 279 BTC in the quarter, down 45% from a year earlier, while its colocation business became its top revenue source.