Really? Compiler autovectorization is academic bs that usually requires stars to align in code and bunch of
restrict keywords thrown in on top of that. While AVX512 helps with "auto" vectorization of loops, that is not going to happen in generic "real world code" unless compiler can prove "basics" like two arrays not overlapping each other.
Where AVX and co shines, is in hand tuned code, usually written by hand or by using vendor provided libraries. And just throwing in AVX512 support randomly, can in fact hurt the performance, as glibc guys found out after using AVX512 in memcpy that in turn lowered clocks for millions of instructions resulting net loss in mem copy and world of pain when next context switch had to save/restore truckload of 512bit wide registers.
Yeah, they will buy expensive hardware and leave up to half of performance on the table. Sounds about right