DeepSeek AI: What is it, and is it better than ChatGPT?