From my point of view we have simply no idea what a infinitely smart AGI is and how to build it.

How would it make the combinatorial explosion in state space search go away, to pick one example?

And if it doesn't, is it then an infinitely smart AGI?

The concept seems to assume all problems humans struggle with can be solved. The halting problem is one witness that this is probably not true.