undefined | Better HN

0 pointssolomatov1y ago0 comments

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

0 comments

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

0 pointssolomatov1y ago0 comments

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

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