Ring informal, ipun nakénang napi ké sabilang pikobet sané solusinyané prasida gelis kaverifikasi olih komputer taler prasida kapuputang digelis olih komputer; akéh sané narka pasautnyané inggih punika nénten prasida.
Informally, it asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer; it is widely conjectured that the answer is no.