YAPOAI (Yet Another Post on AI): AI, understanding, and mathematical work

I use large language models quite a lot in my research. I ask them to look for references, explain unfamiliar mathematics, write code, suggest approaches, find counterexamples, and try to prove things.