All problem-solving methods should converge, given enough brainpower, so yes.