I don’t know if I will sound rude, but your example itself illustrates the crux of problem. The only way you could know that the output was wrong was because y

I don’t know if I will sound rude, but your example itself illustrates the crux of problem. The only way you could know that the output was wrong was because you could verify it in the first place. You can’t verify answers for questions in unfamiliar domains - or even for novel questions in your own domain. Hah, it feels like a weird version of P!=NP.