[dapperdrake]

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

[sodapopcan]

Interesting! Though I will hold out for the "you're prompting it wrong" comments.