This is all contingent on AI forays into mathematics being slop and low quality. However it's clear that recent AI models are capable of genuine mathematical achievements which surpass the frontier of what humans are able to accomplish (wrt the unit distance Erdos problem).

The issue is, how is a group of intellectuals, whose identity derives from their ability to do something rare, useful, and requires many years to get good at, react when a machine can produce all of their useful output nearly automatically, can verify its own outputs, and is getting better exponentially? It is the complete annihilation of one's sense of value and purpose when the binding element to your culture is commodified.

I think there will be a lot of arguments trying to claim that the point of mathematics is curiosity, or that there is always some ineffable human element that AI can't replicate, but I fail to see how somehow these wishy-washy human centered values somehow mean anything compared to the amoral pursuit of mathematical truth, which has nothing to do with humans.

It's just that we humans happened to be the only beings in the universe good at math until ~2025. Now there is another species which can do many of the things we do, and it is not bound by the size of the human brain, our short term memories, or the architectural limits of biological computation. To imagine that humans would retain supremacy in this very un-human like discipline seems like wishful thinking.

> This is all contingent on AI forays into mathematics being slop and low quality

It's literally a set of recommendations for researchers on how to use AI to advance the field and prevent slop from overwhelming the people who might do anything with the research produced.

For people who are so eager to declare that everyone else is just having an existential crisis because "your culture is commodified", AI people are getting awfully defensive about this document.