>>11457474We get a wealth of techniques that help us solve problems that have been bothering us in theory for many decades now. Some of them purely theoretical and some of them on the edge of practicality. It'll be exciting because it marks a milestone in the mathematics needed to study computation rather than a result we can implement straight off.
>>11457486Basically this, except there may be some practical constraints on the algorithms on P. I don't think it would do many people much good to use something whose constants blast it out of the water, since P is a fairly un-nuanced treatment of "practical in use."
>>11457491There's a lot of 'evidence' we have to see why intuitively why P = NP would break a lot of our complexity hierarchy
