The PS5 pro GPU is 67% faster than a PS5 GPU and according to Tom's hardware is a 17TFlop GPU. A RTX4080 Is 48.74 Tflop GPU, with DLSS 3.7 and frame gen.
I don't think those two GPU's are in the same league. In most cases a 4080 will perform better. Also for 699 you could make a more balanced system for CPU heavy games.
Please excuse my (probally) poor grammar