Call me crazy, but I’m not ready to concede. I’m having a different set of reactions entirely, based around a simple difference: I think the main thing holding back mathematics has been human sociology of mathematicians. Here’s why I’m excited: “When will it stop solving problems and build its first original theory?” “Can it figure out how octonions and exceptional algebra are actually part of the mainstream?” “At last! A mathematics that won’t be built around a Putnam and Olympiad-style problem-solving fetish.” Can it at last say “Y’all just wasted a *TREMEDOUS* amount of time and energy on Calabi-Yau phenomenology and Superstrings while calling people closer to the answer, morons, grifters and worse.”? That would be huge!! “I hope @OpenAI will hurry up so that the machine can at last shake its human prejudice from the training corpus and stop deferring to our ‘leaders’.” “At last, a non-PhD colleague!” “Somewhere I have notebooks full of ideas and observations in areas that were too expensive to explore!” “Does this mean that mathematicians are going to finally drop the bullshit about how they don’t care about credit?! Or that they don’t care about money?? Because @OpenAI is now running them in emulation…sped up! At last: a mature and non-infantile version of mathematics!” “Shalom Koide, Tits-Freudenthal, Elliptic Cohomology, and Interstellar.” —- Let our leaders call for a slow down. Then get those leaders out of the way as there is no telling what the rest of us humans can do with these new tools. My condolences to the problem solvers. A tough break for you. But know: It’s coming for all of us. I have no illusions about that. For now at least we humans (e.g. theory builders, great writers) are still top dog. Let’s spend that time wisely and optimistically. For all our sakes.