Comment by blintz

Call it the iron law of LLMs:

"No worthy use of an LLM involves other human beings reading its output."

If you use a model to generate code, let it be code nobody has to read: one-off scripts, demos, etc. If you want an LLM to prove a theorem, have it generate some Coq and then verify the proof mechanically. If you ask a model to write you a poem, enjoy the poem, and then graciously erase it.