What do you guys think about the ideas presented in this short text: https://github.com/yougetyourmanwww/AI-for-math/blob/main/AI.md
The text is about how LLMs like chatGPT can be used for when doing math. I've never seen anyone with the same opinions as me on that topic, so I'd like some opinions on the ideas.
TLDR: LLMs can be used to help communicate math ideas, for example improve the wording in your informal proof or convert the text in a research paper to simpler text. Really the point is that the text generation ability of LLMs can be useful when doing math.