You can describe+teach formal languages with natural langs, and therefore (clearly) Turing-complete formal langs are a subset of natural langs. Given how good ChatGPT is at generating formal code from natural language, is natural la