[woctordho]

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

[solomatov]

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