Earlier quoted context omitted.
dav1d can decode 4K video in realtime on a pretty normal office-class PC. The real issue for is mobile.
Mobile doesn't have 4K screens, any phone released in the last few years can handle 1080p or 1440p AV1 I mean ANY phone. My phone is $160 from 2019 and it can play 1440p AV1 on youtube (with a few frame drops, but nothing noticeable), even though it has a 720p screen. I'd have to get my OnePlus 3 (2016) to stutter in 1440p note that the OnePlus 3 would stutter in h264 1440p as well, it's just old
The Sony Xperia 1 series does (along with a headphone jack, microSD card support, notification LED, a hardware camera button, no hole in the screen for the front camera, etc.).