Hola, si el televisor si reproduce 4K por varios medios, en línea, por USB, bluray, etc. etc. la cuestión está en los sintonizadores incorporados ya que trae el triple sintonizador y el nuevo TDT2 DVBT2-DVBS-2 etc. y eso funciona para el 4k con el decodificador HEVC H.265 que tb lo trae. Lo de TVE 4K son emisiones esporádicas osea que sólo se hace por ciertos canales uno en Madrid una zona concreta y otro en Barna en otra zona concreta y además hay que saber el día y hora de emisión y estar en esa zona para comprobarlo.
Saludos.