The solution is so obvious it’s stupid. There are an infinite number of polynomial and non-polynomial and overlapping polynomial-non-polynomial solutions even with finite strings, therefor, P/NP is solved as being insolvable. There’s no formula which can solve all mathematical problems… the formula would be infinitely long and never get to the equal sign. LOL Do they give out Millennium prizes for sentences? I wouldn’t mind the million dollars =)