Neat. Progress on lower bounds. That's been a tough area for decades. There are a lot of problems like this. Traveling salesman, for example. Exponential in th

Neat. Progress on lower bounds. That's been a tough area for decades. There are a lot of problems like this. Traveling salesman, for example. Exponential in the worst case, but polynomial almost all the time. Does this indicate progress on P = NP?