As we know, there are lots of consequences with the presupposition of the Riemann Hypothesis.


Similarly, are there any important consequences with the presupposition of $\mathbf{P} \neq \mathbf{NP}$ ?


An alternative statement of $\mathbf{P} \neq \mathbf{NP}$ is the extended Church-Turing Thesis. So if we have an speedup algorithm of other model than classic Turing Machine, we have to find an new algorithm for Turing Machine with the assumption $\mathbf{P} \neq \mathbf{NP}$ ? that means we have to find new speedup algorithm of factoring and the like.



Any important consequences with presupposition of $\mathbf{P} \neq \mathbf{NP}$
Because there are natural computational problems involving many mathematical objects, there are a bunch of implications of complexity class separations like $\mathrm{P} \neq \mathrm{NP}$. I think the first paper to investigate this idea is probably Mike Freedman's *[Complexity classes as mathematical axioms](http://annals.math.princeton.edu/wp-content/uploads/annals-v170-n2-p18-p.pdf)*, which assumes a complexity class separation (namely $\mathrm{NP} \neq \mathrm{P}^{\#\mathrm{P}}$, which is stronger than $\mathrm{P} \neq \mathrm{NP}$) to prove that knots with certain properties exist. 


The main idea of all these arguments is to prove an implication like "If all objects of type $T$ satisfy property $P$, then there is an efficient algorithm for a problem which we assumed has no efficient algorithm." You can then deduce the existence of objects of type $T$ which satisfy property $\neg P$. (Here the meaning of "efficient" depends on the class separation you assume.)


The exact thing Freedman proves is a little esoteric, so let me give two other examples that have a somewhat similar flavor. 


* The *systole* of a metric manifold is the length of the shortest non-contractible loop on it (I'll also use the word for the shortest loop itself). Probably the first manifold whose systole you'd try to understand is a flat torus $\mathbb{T}^d = \mathbb{R}^d / \Lambda$ for some lattice $\Lambda = \langle v\_1, \dots, v\_d \rangle$, since these are pretty much the simplest metric manifolds.


One natural thing might be to try to say something about the word length of the systole $\gamma$ when considered as an element of $\pi\_1(\mathbb{T}^d)$ equipped with the generating set $\{ v\_1^\*, \dots, v\_d^\* \}$ where $v\_i^\*$ is the loop in $\mathbb{T}^d$ naturally associated to $v\_i$. For example, maybe the systole always has a relatively short word expressing it. Say, maybe we can always write $\gamma =\_{\pi\_1(\mathbb{T}^d)} \sum\_i n\_i v\_i^\*$ with $\sum\_i |n\_i| < \sqrt{d}$ or something.


It turns out that a modest strengthening of $\mathrm{P} \neq \mathrm{NP}$ actually rules this out. Specifically, assuming that $\mathrm{NP}$-hard problems do not have time $2^{o(n)}$ bounded-error probabilstic algorithms, we can prove the following: For any $\ell(d) = o(d / \log d)$, there exist infinitely many $d$ and $\Lambda=(v\_1, \dots, v\_d)$ such that every systolic loop $\gamma$ on the torus $\mathbb{R}^d / \Lambda$ has word length at least $\ell(n)$ in the generating set $\{ v\_1^\*, \dots, v\_d^\* \}$.


The idea of the argument is just that such a bound would imply a sub-exponential time algorithm for the $\mathrm{NP}$-hard problem of computing the systole: namely just enumerate all possible words in the generators of the given word length and pick the one which is represented by the shortest loop (this is easy to compute).
* You can use a similar argument also to show that faithful representations of $S\_n$ have dimension at least $n^{\varepsilon}$ for some $\varepsilon > 0$ (assuming some version of the strong exponential time hypothesis.) The basic idea is given [here](https://parametricity.com/posts/rep-theory-round-two.html) -- the argument is very simple.


These arguments I think give some idea of why proving class separations should be hard. They immediately imply that mathematical objects of all kinds must have certain kinds of complexity, or else they could be used to give algorithms contradicting the class separations. So, the class separation simultaneously demonstrates the existence of such complexity in all such mathematical objects at once.


Bonus: Tim Roughgarden and Inbal Talgam-Cohen [have some writing along these lines](http://theory.stanford.edu/~tim/papers/priceeq.pdf) as well showing that class separations imply markets in which certain kinds of equilibria do not exist.


