People keep saying that DeepSeek R1's training cost is just $5.6M. Where is the source?

I'm not asking for the proof. Just the source, even a self-claimed statement. I've read the R1's paper and it doesn't say the number of $5.6M. Is it somewhere in DeepSeek's press release?