[dswilkerson]

Theoretical Computer Scientist here: I don't what what "AGI" is, but neither the Large Language Models (ChatGPT) nor humans are a "a consistent formal system implementing axiomatic theories". ChatGPT cannot even reliably do arithmetic.

[ikifor]

I was having issues editing the post. I was referring to AGIs as universal approximation functions (or generators thereof).