O laptop funcionará facilmente em 4K, pelo menos enquanto você conectá-lo usando o DisplayPort (eu recomendo comprar uma docking station, simplificando muito as coisas).
O 4K foi suportado no Thinkpads desde pelo menos o tempo do T430 / X230 usando DisplayPort, embora os modelos mais antigos precisassem rodar @ 30 Hz. A geração atual, incluindo a série P, trabalha perfeitamente a 60Hz