My gut feel was that you can't be right, but it looks like you are: cutting 8000 employees * $500k/year total cost to company (rough but useful ballpark figure) is "only" $4B.
Cross-checking against actual expenditure, Meta spent $118B total last year, with the second largest component of total spending being stock comp at $42B, of which vast slabs went to the top leadership that's presumably also not getting fired.
The figure I've seen floated is $6B, but yeah, same idea.
Though not all of that capex is cash; there's a whole phantom wampum AI economy where the big players are trading promissory notes for compute that doesn't exist yet (and may never exist) some time in the future and booking it as revenue.