Comment by thesmtsolver2

You can steal lemmas, rough proof directions, conceptual ideas etc without stealing the full proof.

Any of that done unattributed is plagiarism.

Either OpenAI is incompetent or evil if they can't publicly prove the allegations wrong. Or even at least state categorically they didn't train on their conversations (even without proof).