There's something like the universal approximation theorem (https://en.wikipedia.org/wiki/Universal_approximation_theore...) for neural nets, if that's what you're looking for!
I don't want to depend on People thoughts and intuitions so I wanted to know if there is any mathematical proof of actually obtaining AGI