As far as I can see, 4k Thinkpad IPS are DCI-P3. There are Yogas with 3.2k Adobe RGB tandem OLEDs.