undefined | Better HN

0 pointsnamaria1y ago0 comments

So we need LLMs to solve the halting problem?

0 comments

2 comments · 1 top-level

viraptor1y ago· 1 in thread

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

namariaOP1y ago

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

j / k navigate · click thread line to collapse