DeepSeek's first reasoning model, achieving performance comparable to OpenAI o1 for math, code, and reasoning tasks.