"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."
Lerc 1 days ago [-]
Instead of succumbing, this reads like a considered adaptation to modern conditions.
They are thinking about what it is they do and what their intent was in doing it. Their adaptation is not a blind resistance to change but to preserve their intent.
I especially that they explicitly state that this is what they are trying and that not dropping a decree of new rules that are set in stone.
More platforms should take this approach.
mitxela 12 hours ago [-]
Codeberg took this approach and made HN very mad.
dooglius 1 days ago [-]
> 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.
magicalist 1 days ago [-]
Erdos never had a list of all the problems he posed, and the people who have compiled lists at times had to do guesswork for what were actually problems or not. So there is no precise list of Erdos problems, just to be clear.
What I think you might be missing, though, is that Erdos was inherently playful with these problems. He'd sometimes just drop in the middle of a paper "hey, this variant of this lemma is neat, I bet it's true, but I'll give cash to anyone who disproves it" and move on. Or challenge a colleague while visiting and collaborating with them, and the problem would get spread by word of mouth. The problems often weren't things he thought long and hard about individually, but they appealed to his sense of aesthetics and curiosity and play. I think that's maybe close to what Bloom is talking about there. It's handy to have a catalog, but fundamentally, creating a set of unsolved math problems was not what Erdos was doing.
> He would also muse about the perfect death. It would occur just after a lecture, when he had just finished presenting a proof and a cantankerous member of the audience would have raised a hand to ask, "What about the general case?" In response, Erdos used to say, he would reply, "I think I'll leave that to the next generation," and fall over dead.
socializer 1 days 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.
tiagod 1 days ago [-]
The same happened in FOSS. I have little interest to contribute nowadays, when GitHub is full of vibe coders naming themselves engineers.
gonzalohm 11 hours ago [-]
I think "AI free" is becoming a valuable thing when talking about codebases
bigiain 1 days ago [-]
> One of the nerds is now saying "I don't find it fun anymore".
To be fair, it isn't just "one of the nerds", it is the nerd that was hosting the party that all the AI bros were gatecrashing. He's not saying the competitive AI-powered and reputation-seeking performative math problem solving shouldn't happen, he's just saying you don't get to do it in the little corner of the internet that he runs any more, showing off to all his friends. Go find some other website where the owner enjoys that, or build your own and create your own community and friends.
Isamu 6 hours ago [-]
>and, most significantly, there has been a wave of AI-produced solutions provided with no explanation.
Counter productive and dumb, although not dumb from the viewpoint of an AI company trying to win hearts and minds hoping that translates into revenue.
Lots of mathematical problems require WORK, and now we have a homunculus to do the work. Indeed most AI companies are oriented toward brute forcing every way forward in order to claim the prize of being profitable.
This could genuinely serve the purpose of mathematical understanding for humanity, but in the short run it is a series of stunts. In the long run I am optimistic that we will benefit.
Qiu_Zhanxuan 1 days 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.
inugfcmoijbh 24 hours ago [-]
> All Hail the era of elegance.
I agree in concept and love the optimism, but this sounds awfully like a thinly veiled “no true Scotsman” argument and, honestly, that’s just ridiculous. Elegance has little to do with how something came to be, it’s a subjective attribute we personally instil onto things under our own set of predefined concepts; hardly a description of an “era”.
bigiain 1 days ago [-]
Interestingly, I see Daniel from curl has recently been saying the problem of clearly slop vulnerability reports has largely dried up, and the majority of A
I assisted bug reports are now reasonably high quality.
I wonder if that's a natural progression when AI users and tools first start to get involved in something, or if it's more that the curl codebase and maintainers/contributors are special and unusually high quality, so there's little left to find by people with little understanding prompting tools trhey are incapable of judging the results generated?
bitwize 1 days ago [-]
A lack of elegance in AI-generated proofs is just because we haven't developed the right loops, graphs, and evals yet.
nemomarx 1 days 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.
bananaflag 1 days ago [-]
I find it sad that I can't use the site as a tracker for solved problems anymore.
fwlr 1 days ago [-]
Of all sad words of tongue or pen,
the saddest are these:
a tragedy of the commons has happened, again.
pfdietz 1 days 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 1 days 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.
zdp7 1 days ago [-]
It's the Walmart Effect at internet speeds.
dist-epoch 1 days ago [-]
One of the largest group of people which benefit from AI are programmers.
Do you think they also are mostly deficient of scruples?
12997 1 days ago [-]
Obviously those that benefit from AI have no ethics and morals. You can see it daily here.
dumberquestions 1 days ago [-]
I don't know if that's true, for most programmers AI has either led a lost job, a more boring job, or maybe an easier job but without any gains in pay or reduction in hours.
fwlr 15 hours ago [-]
Within the heterogeneous group “programmers”, those who are benefiting the most from AI are also among the least scrupled (see e.g. Digital Ocean can find $3,000,000.00 in 4 days for DHH’s vibe-coded distro setup scripts[1]), while the most selfless are getting shafted the hardest (see e.g. the same Digital Ocean can’t find $50.00 a month for the open-source developers who build and maintain the distros[1]).
Given the number of people who work at Facebook, yes, many of us are.
bigstrat2003 1 days ago [-]
Only a minority of programmers are benefiting from LLMs, so I think the theory holds. Most programmers are either refusing to use it, or being forced to use it and miserable as a result.
jwpapi 1 days 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.
afsg-qsgf 1 days 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:
Is mathematics about the process or actual results? I find it incredibly arrogant the way some mathematicians are claiming only they should be allowed to solve these problems.
jubilanti 10 hours ago [-]
The process IS the result.
UltraSane 9 hours ago [-]
No the proof or counterexample is the result. The whole point of this debate is that LLMs can get there without the human process.
12997 1 days ago [-]
Come on, you can flag the truth, too. The AI propagandists must maintain their 1984-level lies.
mistercheph 1 days ago [-]
Book burning is good, it makes books more accessible!
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.
fortzi 1 days ago [-]
AI doing the math for us means that we are not doing the math. To people who like doing math, this is depressing.
I’m baffled every time I see people who just don’t get that.
UltraSane 11 hours ago [-]
Most people care much more about the results than mathematician's enjoyment.
LunaSea 10 hours ago [-]
The result is that humanity will progressively become worse at math because no new student will have had to take the steps to figure things out themselves. How long it is possible for society to rely purely on AI math results remains to be decided.
UltraSane 9 hours ago [-]
This seems to assume a finite number of interesting math problems. Good mathematicians should be able to learn new techniques from the LLM generated proofs.
fortzi 11 hours ago [-]
Maybe most people don’t find it depressing. That takes away nothing from the experience and feelings of those who do.
charcircuit 22 hours ago [-]
There is not a fixed amount of math to be done in the world.
fortzi 11 hours ago [-]
Are you implying that there’s always some math that AI isn’t doing?
No worries, AI will do it “for you” tomorrow.
charcircuit 4 hours ago [-]
I'm implying that people can still do math even if AI is capable of signing it. Millions of kids still learn and do arithmetic despite calculators being able to do it for them.
bigstrat2003 16 hours ago [-]
Maybe, maybe not. But your "AI native mathematicians" aren't actually doing math, they are letting a machine do math for them. That is a lamentable future.
bobbbbywiwiwo 1 days ago [-]
Not to argue off of authority or anecdote, but the vision of mathematics described is disparaging to anyone who already is or is on the path of being a mathematician. In particular, I think your view is only amenable to armchair/recreational mathematicians, and I really do not see the world being described as being one that is mathematically elegant or “better”.
charcircuit 1 days ago [-]
I found that this article was supportive of recreational mathematicians. See the closing passage.
>Find a question that is meaningful to you, find other humans who are interested in it, and talk about it. Be confused, be stuck, be inspired. Find a messy proof, then find a better one. Get tired, get hungry, get into a flow state. Argue, laugh, give up, drink some coffee, and attack it again.
dbt00 1 days 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.
charcircuit 1 days ago [-]
It doesn't matter what he wrote there. If he had wrote
>Some view the future of mathematics as a dystopian where the terminator hunts down any person who tries to publish a new math proof so he can maintain a monopoly on proofs
People would find that as grim. Even if the chance of that future being realized was 0%.
phoronixrly 1 days ago [-]
> AI-native mathematicians
What a world we live in...
isaac_laughs 1 days ago [-]
[flagged]
Salparvezml 1 days ago [-]
[flagged]
mistercheph 1 days ago [-]
[flagged]
Rendered at 22:44:26 GMT+0000 (Coordinated Universal Time) with Vercel.
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."
They are thinking about what it is they do and what their intent was in doing it. Their adaptation is not a blind resistance to change but to preserve their intent.
I especially that they explicitly state that this is what they are trying and that not dropping a decree of new rules that are set in stone.
More platforms should take this approach.
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.
What I think you might be missing, though, is that Erdos was inherently playful with these problems. He'd sometimes just drop in the middle of a paper "hey, this variant of this lemma is neat, I bet it's true, but I'll give cash to anyone who disproves it" and move on. Or challenge a colleague while visiting and collaborating with them, and the problem would get spread by word of mouth. The problems often weren't things he thought long and hard about individually, but they appealed to his sense of aesthetics and curiosity and play. I think that's maybe close to what Bloom is talking about there. It's handy to have a catalog, but fundamentally, creating a set of unsolved math problems was not what Erdos was doing.
> He would also muse about the perfect death. It would occur just after a lecture, when he had just finished presenting a proof and a cantankerous member of the audience would have raised a hand to ask, "What about the general case?" In response, Erdos used to say, he would reply, "I think I'll leave that to the next generation," and fall over dead.
To be fair, it isn't just "one of the nerds", it is the nerd that was hosting the party that all the AI bros were gatecrashing. He's not saying the competitive AI-powered and reputation-seeking performative math problem solving shouldn't happen, he's just saying you don't get to do it in the little corner of the internet that he runs any more, showing off to all his friends. Go find some other website where the owner enjoys that, or build your own and create your own community and friends.
Counter productive and dumb, although not dumb from the viewpoint of an AI company trying to win hearts and minds hoping that translates into revenue.
Lots of mathematical problems require WORK, and now we have a homunculus to do the work. Indeed most AI companies are oriented toward brute forcing every way forward in order to claim the prize of being profitable.
This could genuinely serve the purpose of mathematical understanding for humanity, but in the short run it is a series of stunts. In the long run I am optimistic that we will benefit.
I agree in concept and love the optimism, but this sounds awfully like a thinly veiled “no true Scotsman” argument and, honestly, that’s just ridiculous. Elegance has little to do with how something came to be, it’s a subjective attribute we personally instil onto things under our own set of predefined concepts; hardly a description of an “era”.
I wonder if that's a natural progression when AI users and tools first start to get involved in something, or if it's more that the curl codebase and maintainers/contributors are special and unusually high quality, so there's little left to find by people with little understanding prompting tools trhey are incapable of judging the results generated?
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 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.
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?
1. https://keith.is/post/digitalocean-and-css-tricks/
I especially like that he’s allowing AI if it generates a better learning proof. That’s so considerate.
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.
I’m baffled every time I see people who just don’t get that.
>Find a question that is meaningful to you, find other humans who are interested in it, and talk about it. Be confused, be stuck, be inspired. Find a messy proof, then find a better one. Get tired, get hungry, get into a flow state. Argue, laugh, give up, drink some coffee, and attack it again.
> 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.
>Some view the future of mathematics as a dystopian where the terminator hunts down any person who tries to publish a new math proof so he can maintain a monopoly on proofs
People would find that as grim. Even if the chance of that future being realized was 0%.
What a world we live in...