This fundamental problem in theoretical computer science asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer, carrying a $1 million prize from the Clay Mathematics Institute.
Open the full topic