They definitely are using Nvidia. Part of deepseek's special sauce was using an "undocumented" ptx instruction to get a cute microoptimization with the memory hierarchy.

https://youtube.com/watch?v=iEda8_Mvvo4