> Do that many people even work on AI development?

That's not the relevant figure. It's more about how much capital has been wagered by large tech cos and the major startups & VCs on a near-complete takeover of white-collar work by AI (as that's the only level of payoff that could possibly justify the mind-boggling level of investment).