Amazon uses Xen which they call "Xen 2" I think because they've made tons of improvements and optimizations over the years.
Google uses kvm. They probably contribute as well although I haven't checked.
From a quick search Azure uses a private build of hyper-v which surprises me actually but it's possible.
Edit : millions of VMs doesn't mean anything, at the end of the day it's just servers each running a bunch of VM, which people have been doing for 20+ years. There is no scaling issue there, the hard part is storage, networking, orchestration, managed services, power...
I mostly agree with you.
Its the "fabric" and tools that matter.
In so far as this thread matters,
I meant to say that VMware has a lot of great tools surrounding
ESXi (which at least used to be the core of running VMs, may have changed)
In my opinion Proxmox does not have tooling like that.
So if I had written my comment better it would be what tooling
and fabric these giants use and to what extent they share the tools
and upgrades back to open source projects.