Thanks for sharing. Regrettably his conclusion on proof exposition increasing in importance reflects the broad trend in every field: When someone (or something) else is doing the actual work, all that's left for the original folks is to find a way to sell it. Pretty soon mathematics will be awash in marketing with slogans such as "I am a famous mathematician, I checked this proof and it looks legit. Trust me." Absolutely nothing wrong with that scenario right? Except for the logically fallacious appeal to authority and the inevitable corruption over time.

No. More like "I am mathematician and I have digested this sloppy writing and understand this to be an application of Foo theory to the Bar problem with a Baz twist. The prior publication omits crucial references to..."

The writing's already pretty good, even Terrence Tao calls it flawless, if you read the slides. That's not where the LLM requires help.