Agree. Additionally, it’s really disheartening that people do this with Erdos problems specifically. They are not major research questions in mathematics, but were intended as little conjectures that people could use as a way into serious number theory with a small cash reward and a little bit of minor fame for being the person who did the work to solve one of them. They are not things where the solution itself provides an amazing amount of insight or moves the frontier of mathematics forward particularly.

So what is happening now is people now are nuking and paving the whole space with AI to prove their model can do maths, and we are all poorer for having this nice thing ruined in this way.