Who even added NS to the list? Wake me up when they settle P/NP

Also if they prove it's false by constructing an algorithm it doesn't count. I want a nice proof that P!=NP