The Threadripper Pro has 1TB memory, which means it's likely ECC registered, which is slower at the same frequency, and it might not even be DDR4-3200 in the first place because it's rather new in ECC, and server hardware manufacturers like to use old stuff.