Comment by impossiblefork

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