Surely you can see that for basically every example of this sort of problem, fully defining a deterministic check is the same as finding them all?
Like you're telling me if I had a script that printed all X, and it's my responsibility to ensure it has no bugs, then the agent could tell me all X and I could trust it?
This is not helpful at all? I am capable of running scripts myself and using the output directly.
No? It's like saying "why bother doing maths, a calculator can figure out the solution to any question you have if you just put the right equation in" there might be more to maths, it turns out. Most of it lying inside of finding "the right equation"
Like you're telling me if I had a script that printed all X, and it's my responsibility to ensure it has no bugs, then the agent could tell me all X and I could trust it?
This is not helpful at all? I am capable of running scripts myself and using the output directly.
That’s like saying mathematics is worthless and we have to resort to finger counting?