“At the time of its release, DeepSeek was the only reasoning model available besides those from OpenAI, preceding similar models from Anthropic and Google.”