I have avoided reading about LLMs in research mathematics because I didn't think I could stomach the AI hype bros bragging about their machines making human mathematicians obsolete. I still don't know what to make of all this. But I did enjoy your post. Thanks for sharing.