That is not completely true the halting problem deals with any program then taking some given input trying to determine if the program goes into an infinite loop or not. The question can be asked of any program and is formally undecidable. So AGI would not be exempt from the halting program, it just may not be an interesting question to ask of an AGI program.
That is not completely true the halting problem deals with any program then taking some given input trying to determine if the program goes into an infinite loop or not. The question can be asked of any program and is formally undecidable. So AGI would not be exempt from the halting program, it just may not be an interesting question to ask of an AGI program.