> the rest of us will enjoy seeing humans and AIs build on the results.

That would be nice, but the rest of the world wasn't interested in the results before and they won't be interested after.

I wonder what this means long term. Maybe mathematicians will keep plodding on as usual except sporadically when an AI company need a marketing boost so they spend millions of dollars to dunk on them. Because the mathematicians sure don't have that kind of money.