I wouldn't expect a hand-crafted proof by an amateur to be much different.
LLM produced texts are often in a weird area where the quality of the content and the quality of the writing have very little to do with one another.
Because from what I gather, they basically had to go through the equivalent of a pile of notes to find the crux.