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.)