Wasn't it shown that DeepSeek was distilling OpenAI's models? Seems like a presumptuous claim by Liang Wenfeng