Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality. Parent comment
Why not? Are you aware of a proof of this? I think you are limiting the capabilities of Turing machines without evidence.
> Unlike the game AIs that repeatedly try to walk through walls.
Game AIs capabilities are a small subset of what a Turing machine can do. Most game AIs can't do speech recognition or solve math equations either.
> We programmers write halting programs with great regularity.
So do other programs. Writing a halting program is not an uncomputable problem, and doesn't require solving the halting problem.
There are no comments on this comment yet.
Why not? Are you aware of a proof of this? I think you are limiting the capabilities of Turing machines without evidence.
> Unlike the game AIs that repeatedly try to walk through walls.
Game AIs capabilities are a small subset of what a Turing machine can do. Most game AIs can't do speech recognition or solve math equations either.
> We programmers write halting programs with great regularity.
So do other programs. Writing a halting program is not an uncomputable problem, and doesn't require solving the halting problem.