DeepSeek: Paradigm Shifts and Technical Evolution in Large AI Models