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