> You can probably train a language model to lead mathematicians on a wild goose chase for quite a while, by just proposing some definitions, proving a few triv

> You can probably train a language model to lead mathematicians on a wild goose chase for quite a while, by just proposing some definitions, proving a few trivial things about it, proposing another based on that and doing the same etc. Then you can see how long it takes for them to catch on that it's not actually going anywhere. You've just described category theory. ;-)