[math-fun] P vs NP result?