Remix.run Logo
namaria 14 hours ago

So we need LLMs to solve the halting problem?

viraptor 12 hours ago | parent [-]

I'm not sure how that follows, so... no.

namaria 7 hours ago | parent [-]

> 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?