That’s capital expenditures at the five Big Tech companies that are making the biggest plays on artificial intelligence (Nvidia, as a chipmaker rather than a service company, is big too, but is in a ...