Except that the proofs are very likely valid. This is a country of Ramanujans in a data center. You're free to ignore them because they don't follow your style guide, 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.
I can't speak for the rest of the world, but I think it's amazing that multiplication and 3SUM are sub-quadratic despite that being "obviously" impossible.
I wonder what this means long term.
Long term, stronger models than what OpenAI used will be available to everyone. Some mathematicians will take advantage of those tools and do great things; others will continue their whiny gatekeeping and become irrelevant.
Strong and cheap enough to make solving these problems by this approach less than a million-dollar venture?
(Pedantry: We already knew that integer multiplication, at least, was O(n log n). which is subquadratic.)