alt Hacker NewsWhen writing math papers, many (but unfortunately not all) mathematicians go through a post-processing step, where they take their ideas and proofs, and try to reduce them to simple and reusable core ideas that can be understood by the reader. Good writers will often also provide some representative examples that guided the proofs, explaining why various intermediate results can't be strengthened and why the proof can't be made much shorter without inventing new techniques. If AI-generated proofs were required to go through such a post-processing step before being published, that would go a long way towards improving the situation.
It's funny that seems like a step the human mathematicians would want, and (at least for now) might still outperform the machines on. In the same way that, eg, the notebooks of Galois contained the core breakthroughs in a messy form, and generations after him simplified and synthesized those ideas, until you finally have books and videos accessible to undergraduates.