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

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.