Any of the Millenium Prize Problems could equally have been appropriate (with the possible exception of the poincare conjecture), but most of these require deep mathematical knowledge.

I would expect this problem to be accessible to most people with a basic grasp of logic, hence the generic title.