If he doesn’t like the paper’s structure he can just prompt gpt pro to review and amend.

I know the model that produced these proofs is still private, but it’s worth a shot tackling the proofs with the current consumer-available frontier.