alt Hacker News> 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.
the rest of the world wasn't interested in the results before and they won't be interested after
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.