It makes little sense to pit OpenAI’s massive budget, elite engineers, CS researchers, world-class mathematicians, and SOTA AI computing power... ...against a single Ph.D. mathematician with a pencil and a Mac. 🤷‍♂️😀 There's always new technology. Industries and academia will adapt to these changing conditions, just like it did in the past. If anything, AI seems to have spawned a new exciting era in mathematics - similar in massive scope to the desktop publishing revolution in the 1990s. Also, if mathematicians of today can't even understand each other's work, then maybe that's a sign that mathematical creativity and effort could be better exploring off new directions rather than digging ever deeper in the caves of abstraction. When was the last time we witnessed a Shannon moment in mathematics? AI might be the technology which liberates mathematics from the chains of deep laborious abstraction-digging.