Yeah, that's one of the big things of TCS. I think I see that as bigger than that Millenium Prize problem.

TCS being theoretical computer science? I have not seen that acronym before.

Yes, TCS is theoretical computer science, I commonly use that acronym too.