> I think it is against the spirit of Erdős to regard any problem as 'closed' -- whenever one form of a question is answered, many others are created, and all problems deserve continued attention.
But I thought the whole idea of the list was that it catalogued precisely the problems Erdos posed that he did not solve. The broader set of "all problems Erdos found interesting, including those he resolved" would be both larger and I suspect qualitatively different.
socializer 29 minutes ago [-]
The idea is that people liked recreational math and enjoyed practicing it. AI bros with little interest in math showed up for marketing reasons or to "show" the nerds. Some mathematicians joined them too. One of the nerds is now saying "I don't find it fun anymore". That's really it. I wouldn't look for hidden meaning when it's spelled out pretty clearly.
pfdietz 9 hours ago [-]
(Title is my clickbaiting)
From the link:
"The main way that people publicly interact with the site now is to advertise their AI-generated proofs, often without any attempt to explain them, but as a way to record a (increasingly meaningless) priority claim.
This is very different to what I imagined, and I don't want to manage a website which does this."
nemomarx 42 minutes ago [-]
"I believe that websites with this function should exist -- places where people can record AI-generated proofs, even if purely formal with no human understanding, to save others wasting their tokens generating the same proof, and so that other people can access and use them if they desire. There are now several candidates for such repositories, and if managed responsibly, they can serve a useful role in the mathematical ecosystem. I personally don't want to manage one.
Just as one does not open a restaurant in an abattoir, it is important that there be a separation between such repositories and a site which aims to promote the actual questions, place them in an appropriate context, and give a useful overview of the current state of human understanding."
I think this is a very reasonable blog post overall. A site for agents to read has many different needs and concerns than one for humans. Really anthropic or openai should be whipping this up for theirs.
jwpapi 18 minutes ago [-]
Seems like a well thought through response and really smart changes.
I especially like that he’s allowing AI if it generates a better learning proof. That’s so considerate.
Qiu_Zhanxuan 3 hours ago [-]
A welcome change, people posting AI-generated proof to claim credits are the scourge on mankind discoveries. It's time everyone that still hasn't, let go of their ego. All Hail the era of elegance.
Retr0id 15 minutes ago [-]
Editorialized title?
fwlr 40 minutes ago [-]
It is becoming exceedingly difficult to ignore that the benefits of AI accrue disproportionately to those most deficient of scruples, while its costs and harms fall upon the selfless and pleasant like laser-guided virtue-seeking munitions.
I do not particularly care to debate a theory of why it is so, nor press a charge of malice or intent; mere observation suffices to convince me that this shit is corrosive to the better nature of humanity.
dist-epoch 1 minutes ago [-]
One of the largest group of people which benefit from AI are programmers.
Do you think they also are mostly deficient of scruples?
bananaflag 2 hours ago [-]
I find it sad that I can't use the site as a tracker for solved problems anymore.
pfdietz 60 minutes ago [-]
Me too, although I understand the creator of the website doesn't want to have their role reduced to that of documenting the AI tsunami.
I had been expecting this since updates became irregular.
Perhaps this will force those solving these problems to produce something worthy of arxiv submission. Or maybe someone will produce a knock off site that continues to track these problems.
fwlr 36 minutes ago [-]
Of all sad words of tongue or pen,
the saddest are these:
a tragedy of the commons has happened, again.
afsg-qsgf 35 minutes ago [-]
The fracking or strip mining of mathematics is repulsive. It must be noted here that Jeremy Avigad, who posted a soothing pro-AI guest article on Tao's blog on Oct. 5th, is running a strip mining project:
It's disappointing to see the author having such a low view of AI native mathematicians. The excitement from solving these problems should be considered a good thing. More people engaging and having fun with math is positive.
>Some view the future of mathematics as a dystopian...
>I believe Erdős would have found this future grim indeed
If you describe something as dystopian that is going to majorly bias someone's opinion towards being grim. That doesn't mean that dystopian description is reality.
dbt00 14 minutes ago [-]
You clipped a lot of incredibly relevant context to make his point sound far more inflammatory than it is.
> Some view the future of mathematics as a dystopian arcade of button-pressing, staring at a screen waiting for AI to do the thinking for us, with the main human involvement limited to asking the initial question and offering sporadic words of encouragement. Each new proof is then thrown into a repository, to only ever be read by other AIs, and the human presses the next button.
Is that your view of all AI native mathematicians? It's not mine, but it seems apparent to me that many people think that this is our future, or even should be our future. Same with building software (which is my field, unlike math).
I would find that personally, to use his word, grim.
phoronixrly 10 minutes ago [-]
> AI-native mathematicians
What a world we live in...
isaac_laughs 28 minutes ago [-]
[flagged]
Rendered at 21:28:39 GMT+0000 (Coordinated Universal Time) with Vercel.
But I thought the whole idea of the list was that it catalogued precisely the problems Erdos posed that he did not solve. The broader set of "all problems Erdos found interesting, including those he resolved" would be both larger and I suspect qualitatively different.
From the link:
"The main way that people publicly interact with the site now is to advertise their AI-generated proofs, often without any attempt to explain them, but as a way to record a (increasingly meaningless) priority claim.
This is very different to what I imagined, and I don't want to manage a website which does this."
Just as one does not open a restaurant in an abattoir, it is important that there be a separation between such repositories and a site which aims to promote the actual questions, place them in an appropriate context, and give a useful overview of the current state of human understanding."
I think this is a very reasonable blog post overall. A site for agents to read has many different needs and concerns than one for humans. Really anthropic or openai should be whipping this up for theirs.
I especially like that he’s allowing AI if it generates a better learning proof. That’s so considerate.
I do not particularly care to debate a theory of why it is so, nor press a charge of malice or intent; mere observation suffices to convince me that this shit is corrosive to the better nature of humanity.
Do you think they also are mostly deficient of scruples?
I had been expecting this since updates became irregular.
Perhaps this will force those solving these problems to produce something worthy of arxiv submission. Or maybe someone will produce a knock off site that continues to track these problems.
https://huggingface.co/papers/2608.16977
>Some view the future of mathematics as a dystopian...
>I believe Erdős would have found this future grim indeed
If you describe something as dystopian that is going to majorly bias someone's opinion towards being grim. That doesn't mean that dystopian description is reality.
> Some view the future of mathematics as a dystopian arcade of button-pressing, staring at a screen waiting for AI to do the thinking for us, with the main human involvement limited to asking the initial question and offering sporadic words of encouragement. Each new proof is then thrown into a repository, to only ever be read by other AIs, and the human presses the next button.
Is that your view of all AI native mathematicians? It's not mine, but it seems apparent to me that many people think that this is our future, or even should be our future. Same with building software (which is my field, unlike math).
I would find that personally, to use his word, grim.
What a world we live in...