if the answer should turn out to be positive, with an algorithm that is feasible in practice. It would mean that finding solutions would not in principle be more difficult in verifying that they work. We would immediately gain a feasible capability for solving an enormous range of problems that currently lie out of reach.
