So we need LLMs to solve the halting problem?
I'm not sure how that follows, so... no.
> We want it to try and maybe realise when all paths it can generate have been exhausted.
How would it know if any reasoning fails to terminate at all?