PS5 = 9,2 Tflops
XBSX = 13 Tflops
Even digital foundry is jumping in on it.... well tbh it doesnt matter that much.
Im sure both will be more than capable of running 4k.
This could mean theres a 100$ price differnce between the two, as others have said.
I dont think its a mistake, if its possilbe for PS4 to hold the price advantage over the XBSX.