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? submitted by /u/I…