Comment by Shank

> I guess when an AI proves that P!=NP,

What would be the practical impacts of this discovery?