Chinese AI startup DeepSeek's model led to increased scrutiny on Microsoft's AI spending.