argmax is doing all the heavy lifting there. Consider argmax is_proof_of_P_eq_NP(string)

You can describe solution of any well defined problem with argmax, it doesn't make it trivial.