undefined | Better HN

0 pointssolomatov1y ago0 comments

LLM can never solve a halting problem (because no one can using a Turing machine).

0 comments

2 comments · 1 top-level

woctordho1y ago· 1 in thread

A finite-size LLM can solve the finite-size halting problem, and an infinite-size LLM can solve the infinite-size halting problem

Halting problem input has finite size (i.e. it’s a Turing machine)

j / k navigate · click thread line to collapse