You have a maze (a really, really complicated maze).

Two cases: 1) you have to find a route to the middle 2) someone gives you a route to the middle and you have to validate it

It’s not proven that case 2 is necessarily easier than case 1. But logic and every case in the history of computing suggest that it is.

I don’t see how LLMs could possibly change that fact