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

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.