Comment by glitchc

What exactly would you be advocating for? That LLMs can't be used to generate mathematical proofs? It's not even a case of intellectual theft, academic papers are in the public domain or can be accessed through a subscription.