Если будет доказано, что

, то с практической точки зрения ничего особенно не изменится. Хотя можно считать практической пользой, что люди будут меньше времени тратить зря на некоторые безнадёжные занятия.
Если вдруг будет обнаружено, что

, вероятно, во многих практических задачах будет бурный прогресс, появятся эффективные методы их решения, можно будет точно решать кучу задач, на данный момент неприступных. Хотя и тут могут быть варианты: если в найденных полиномиальных алгоритмах решения практических задач будут большие показатели степени, тогда на практике польза будет менее ощутимой.