I've been using ChatGPT to teach myself all sorts of interesting fields of mathematics that I've wanted to learn but never had the time previously. I use the Pro version to pull up as many actual literature references as I can.
I don't use it at all to program despite that being my day job for exactly the reason you mentioned. I know I'll totally forget how to program. During a tight crunch period, I might use it as a quick API reference, but certainly not to generate any code. (Absolutely not saying it's not useful for this purpose—I just know myself well enough to know how this is going to go haha)
How do you get chatgpt to teach you well? I feel like no matter how dense and detailed i ask it to be or how much i ask it to elaborate and contextualize topics with their adjacent topics to give me a full holistic understanding, it just sucks at it and is always short of helping me truly understand and intuit the subject matter.
This is an interesting usecase, and I want to learn more about your workflow. Do you also use Lean etc. for math proofs.