The P vs NP problem is one of the most famous open problems in computer science. It asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer. As of 2025, this remains unproven - the correct answer is that we don't know.