I have no idea about research in mathematics: How will mathematicians judge what constitutes new conceptual math that is actually useful, vs a hallucination that might be novel but doesn't introduce anything actual meaningful?
It’s basically up to the domain experts. What I found interesting in mathematical optimization/combinatorics (my fields of interest) when an AI proved some major results some time ago was probably dismissed as a boring fact by someone else. What OP is mentioning is just their personal preference and doesn’t reflect the actual opinion of the mathematical world.
Human mathematicians frequently introduce new pointless abstractions just to churn out papers. And they are not accepted in serious journals, but they sometimes find a place in some mediocre or bad journal.
Of course, AI will increase this phenomenon manifold.
As a matter of fact more logic and structure to your work, the more easy it is for AI to conquer it. Due to this programming was the first thing that got solved, but pure sciences are next.
If what you do, and how you do can be written down on a piece of paper, then AI can do it.
I do believe programming getting solved will be double assault on these fields.
>>This is not snobbery
This is good for the species, what sense does it make to keep treating these fields like they are reserved for the top most intelligent micro percentage of humans? Getting LLM to these things gives some scale to these subjects and thats good.
I appreciate very much the work done so far, but this sort of asymptotic/quantitative result didn't interest me much even when it was done by humans.
(This is not snobbery, just a personal preference.)