@futurebird @adriano It's not that it doesn't resemble human thought so much as that it resembles the laziest form of human thought (but after reading an inhuman amount of input).
I know there are mathematicians trying to develop machine learning tools that go beyond the language model approach. But LLMs can't do mathematics worth a damn *because* they are language models.