That’s a big chunk of the TikTok owner’s $20 billion AI infrastructure budget.