> On the wiki, I have decided to expand Section 2(d), "AI tools used to rewrite an existing argument" to also include cases such as the one here, in which the AI tool indirectly caused the argument to be rewritten in a substantive way (beyond mere typos etc.) by identifying a non-trivial mathematical issue in the previous version of the text, which was then fixed by a human author.

Fwiw, wiki Section 2(d): https://github.com/teorth/erdosproblems/wiki/AI-contribution...

It’s kind of interesting that AI opens up a new avenue for intellectual progress where even if you are the prevailing expert in your field and nobody else quite understands what you do, there is still an LLM that can mostly keep up with you and explain, critique, develop, and generally engage with your work. IOW people who are way ahead of their time now has a peer they can talk to.