undefined | Better HN

0 pointsnamaria11mo ago0 comments

So we need LLMs to solve the halting problem?

0 comments

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

namariaOP11mo 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

0 pointsnamaria11mo ago0 comments

So we need LLMs to solve the halting problem?

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

namariaOP11mo 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