CNBC's Arjun Kharpal lays out some of the big themes that DeepSeek's announcement around the efficiency of its model has highlighted. That includes the progress in open source artificial intelligence models and the shift to "reasoning."