Hacker News Reader

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)