Most of the contemporary mathematical proofs from LLMs read like first-semester failings. Doesn’t really help to cheat there, either.