DeepSeek unveils one of the first AI models to rival OpenAI’s o1