I think I should write something about what the day-to-day work of a mathematician actually looks like. We're not out here doing problem sets!

Without commenting on the correctness of this claim, I want to briefly say a few words about what it would mean in practice. Chess is supportable as a hobby in part because one can pick up the rules of chess in an afternoon. While one can't quickly play at a high level, it is relatively easy to appreciate the game, and have fun at it. Research math is not like this. Over the last decades we have made incredible progress understanding basic concepts (number, shape, etc.) but the edifice we have built to do so requires an incredible time investment. Learning the ideas that go into proving, or understanding the proof of, basic statements like Fermat's last theorem requires years of institutional support. It's possible that soon, AI will be able to do work at this level; despite recent successes, this isn't the case yet. But even if it can do this, why would it? Without people who care about these deep but fundamental ideas, who will ask it to? Perhaps it might on its own, or a person asking it to "do some cool math" might elicit a similarly deep idea, but who would understand it, if doing so requires years of unsupported work? In practice, turning pure math into a hobby means the end of pure math, and the end of people who understand basic mathematical concepts at a deep level. Whether this is something we want is something we'll have to decide together.