Quantum Certification, Quantum Computing.
open problem there, known as the P ≟ NP problem: Can a problem whose solution can be quickly verified also be solved? Currently, most of the scientific community seems to lean towards P ≠ NP. This would imply that solutions to problems in the NP class would be more “easily” verified than found.