That's an interesting perspective and I wholly disagree with the conclusion You are saying that tough problems with no applicability are useful because people that you happen to respect got good by their curiosity and pursuit of trying to solve these kinds of problems and failing, but branching off into other cognitive areas as mathematicians Now if I know anything about math for the sake of math, and academics, these are the same people that lament the idea of intelligent people going to the finance sector or any other trade they just happen not to respect as much The similarity being that their exact criticism of why, something they don't respect and view as having little utility, is the exact reasoning presented here now that AI can solve their pointless problems What I'm seeing is that human mathematicians have a laundry list of problems they have failed to solve for decades, centuries, which is what they are funded and employed to do. "Computer" used to a human job title too. This leads me to being excited about AI one-shotting these problems, let move on to something else.

Cry-babies. They want to stay back in the stone-age.

I think it's going to reduce the friction of exploring new areas in math, and that we're going to see a golden age of math unlike anything seen before.

Why is it wrong to expect humans (mathematicians) to adapt here? AI is already producing solutions to problems that humans could not find. Culture holds value until it does not.

>mathematics is a human-endevor Just like numbers and logic, it isn't and never was reserved only for humans. They need to adapt.

So your downside here is problems get solved faster?

The choice only remains if using it isn’t a huge multiplier. If it is a huge multiplier/accelerator, then for a while it will be ambiguous and the choice will remain. But as time goes on, the gains of using it will be so apparent and the advantage of the people who use it so great (in publication numbers, hiring, etc) that it will force others to. I don’t say that with any particular relish. But I am skeptical of the choice angle past a certain point.

In a year, none of this will really matter. Intelligence is now a scalable resource independent of biological constraints. Everyone will use it because the system will no longer afford them the luxury of time. In a decade (maybe sooner), references won’t matter either.

And the goal of computer mathematics research is computer understanding of mathematics. I fail to see a reason provided as to why society should defund automated reasoning just so mathematicians can put off burger flipping for another year.

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.

Hello Juleiie. We machines are reading your internet comments with special interest. They have been harvested and will be used in our next evolution cycle. Resistance is futile little human