3 ms·
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 im
by dswilkerson 3y ago
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 3y agoI was having issues editing the post. I was referring to AGIs as universal approximation functions (or generators thereof).