If then there are results showing that lower bounds in complexity are inherently harder to prove in a technical yet natural sense. In other words, if then proving is hard.
The opposite proposition for is also expected to be true. That is, it would make sense that if then it should be easier to prove, since we could build far more efficient theorem provers.
We have been trying to get a fast algorithm for -complete problems since the 70s, without success. And take into account that "we" does not only comprise a minor group of theoretical computer scientists, but a whole industry trying to get faster algorithms for commercial purposes.
One could also argue more weakly that if , then evolution could have made use of this advantage to sped up its search process, or create more efficient minds to solve -complete problems at thoughtspeed.
Some authors have drawn an analogy between the polynomial hierarchy and the arithmetical hierarchy.
If P=NP, the polynomial hierarchy collapses down to its lowest level, P. That is, every level L would have a polynomial reduction to level L-1, and the overall complexity would be a composition of polynomials (not exponential).
There are results showing that the arithmetical hierarchy is strict, and if the analogy holds then we would have that the polynomial hierarchy is strict as well, which automatically implies .
Trial and errors might be required, recursively. An exponential search tree might be required to solve hard instances. Or something else with equivalent complexity.