DeepSeek ‘punctures’ AI leaders’ spending plans, and what analysts are saying