The following problem is one of the most interesting unsolved problems in theoretical Computer Science.
http://en.wikipedia.org/wiki/P_vs_NP