DeepSeek proves the future of LLMs is open-source