AI and Math: I finally had a bit of free time to start my first attempt to use AI -- ChatGPT Pro -- for an old math problem that I put on the side more than a decade ago. I'm pretty rusty on the particulars, but AI isn't. I'm already quite impressed by the progress, I pointed out my conjecture and it's started breaking it down, doing numerical experiments, then deducing conjectures from them, testing those a bit further, and so on. I don't yet want to reveal the exact question I'm workin on, nor what it helped me find so far. And I'm a bit rusty myself having not worked on math problems for quite some time. But I can see how if I'd been a full time math professor, this tool would have been invaluable. Those of you doing math research for a living -- how much do you find AI useful in your work? Has it already helped you crack one of your Big Problems?