DeepSeek’s “reasoning” R1 model, released last week, provoked excitement among ...