Final Verdict
Member
No, that's definitely not what I'm saying.
It's a 4.1 TF machine (since "TFlop" without additional qualifiers in graphics generally refers to FP32 in this day and age). Depending on the individual workload profile of a given game, and how much developers are willing to invest into optimizations which won't do anything for the larger (non-Pro) part of their audience, it could perform faster than that (but never close to twice as fast).
I'm not a game software dev, but with my limited coding knowledge, this is sort of along the lines of what I was thinking. The fact that it is only on the PS4 Pro could severely limit the developers who choose to invest in coding for it, and so it will likely make little difference to bridge the performance gap (necessary to get to native 4k) for 3rd party tiles. For first party titles though it could make some difference though, (no clue how much though).