One can argue that forward propagation is not a "general algorithm", but if an AI can determine whether every program it is asked halts or not, can we at least conjecture that AI does solve the halting problem?
[link] [comments]
One can argue that forward propagation is not a "general algorithm", but if an AI can determine whether every program it is asked halts or not, can we at least conjecture that AI does solve the halting problem?