6 ms·

Same awnser as much of the LLM Proofs - people cared about other things. There isn't a lot of money in academic math, and the ones that love it don't look for l

Same awnser as much of the LLM Proofs - people cared about other things. There isn't a lot of money in academic math, and the ones that love it don't look for low value findings. Proofs like these are, funnily enough, usually the domain of hobbyists - but over the last few years, the "Monetize everything" mentality and struggling first world economy has pushed people away from interesting academic pursuits on their free time.

h-jones 2mo ago
My understanding is that this is in a different league (Smale problem) than a lot of the other results that have been coming out (Erdos), though I could be wrong.
- pfdietz 2mo ago
  The Erdos problem solutions have been accelerating, including a $250 problem and a $100 problem. It's been fun watching the cope collapse from day to day. No one told me a slow takeoff Singularity would have so much schadenfreude.
  - HappyPanacea 2mo ago
    This is slow?
  - muldvarp 2mo ago
    > It's been fun watching the cope collapse from day to day. No one told me a slow takeoff Singularity would have so much schadenfreude. I'm constantly surprised at how much schadenfreude there is on hacker news about LLMs. Like, do you guys (and girls) not have to work for a living?
    - pfdietz 2mo ago
      I don't. I'm retired. I'm also not going to live all that much longer, most likely, so it's kind of annoying I'm not really going to see any upsides to an AI world either. I'm discounting the possibility of our AI overlords figuring out a miracle like reversing aging. But it is really f-ing cool that automated math is now a thing and we are seeing it. Eat your heart out, past me.
      - muldvarp 2mo ago
        > so it's kind of annoying I'm not really going to see any upsides to an AI world either I don't think the "permanent underclass" will see many upsides either. They certainly won't have the money to pay for it. I'm excluding myself in that statement because luckily I have access to large amounts of barbiturates.
        pfdietz 2mo ago
        The math community was not a global underclass. World wealth is increasing, the actual global underclass is seeing rapidly improving lives. You may be seeing a loss of privilege due at least in part to the inevitable reversion to the mean of US economic dominance. But on a global scale, things are going well. AI will lead to a much larger pie.
        muldvarp 2mo ago
        > The math community was not a global underclass. I never claimed they were. The term "permanent underclass" refers to the preferred world order of AI techbro billionaires[1] where human labour is worthless and in consequence normal people no longer have any leverage. Societies where most of the value is dug out of the ground and where human labour is comparatively worthless already exist and living there is not necessarily fun[2]. > World wealth is increasing, the actual global underclass is seeing rapidly improving lives. The global underclass has been seeing improving lives well before LLMs were a thing. The question is whether they will _continue_ to see their lives improve if their labour is no longer required. > You may be seeing a loss of privilege due at least in part to the inevitable reversion to the mean of US economic dominance. I'm not from the US, I don't live in the US, and in fact I've never been to the US. > AI will lead to a much larger pie. Which will only benefit people if their piece of the pie doesn't shrink because they don't have any leverage. There is also more than one pie. The real estate pie for example won't grow, instead every piece of the pie will become even more expensive. Most people only own pieces of the pie that will decrease in value (human labour) not pieces of pies that will increase in value. [1]: https://www.nytimes.com/2026/04/30/opinion/ai-labor-work-force-silicon-valley.html https://www.nytimes.com/2026/04/30/opinion/ai-labor-work-for... [2]: https://en.wikipedia.org/wiki/Resource_curse https://en.wikipedia.org/wiki/Resource_curse

h-jones 2mo ago

My understanding is that this is in a different league (Smale problem) than a lot of the other results that have been coming out (Erdos), though I could be wrong.

pfdietz 2mo ago
The Erdos problem solutions have been accelerating, including a $250 problem and a $100 problem. It's been fun watching the cope collapse from day to day. No one told me a slow takeoff Singularity would have so much schadenfreude.
- HappyPanacea 2mo ago
  This is slow?
- muldvarp 2mo ago
  > It's been fun watching the cope collapse from day to day. No one told me a slow takeoff Singularity would have so much schadenfreude. I'm constantly surprised at how much schadenfreude there is on hacker news about LLMs. Like, do you guys (and girls) not have to work for a living?
  - pfdietz 2mo ago
    I don't. I'm retired. I'm also not going to live all that much longer, most likely, so it's kind of annoying I'm not really going to see any upsides to an AI world either. I'm discounting the possibility of our AI overlords figuring out a miracle like reversing aging. But it is really f-ing cool that automated math is now a thing and we are seeing it. Eat your heart out, past me.
    - muldvarp 2mo ago
      > so it's kind of annoying I'm not really going to see any upsides to an AI world either I don't think the "permanent underclass" will see many upsides either. They certainly won't have the money to pay for it. I'm excluding myself in that statement because luckily I have access to large amounts of barbiturates.
      - pfdietz 2mo ago
        The math community was not a global underclass. World wealth is increasing, the actual global underclass is seeing rapidly improving lives. You may be seeing a loss of privilege due at least in part to the inevitable reversion to the mean of US economic dominance. But on a global scale, things are going well. AI will lead to a much larger pie.
        muldvarp 2mo ago
        > The math community was not a global underclass. I never claimed they were. The term "permanent underclass" refers to the preferred world order of AI techbro billionaires[1] where human labour is worthless and in consequence normal people no longer have any leverage. Societies where most of the value is dug out of the ground and where human labour is comparatively worthless already exist and living there is not necessarily fun[2]. > World wealth is increasing, the actual global underclass is seeing rapidly improving lives. The global underclass has been seeing improving lives well before LLMs were a thing. The question is whether they will _continue_ to see their lives improve if their labour is no longer required. > You may be seeing a loss of privilege due at least in part to the inevitable reversion to the mean of US economic dominance. I'm not from the US, I don't live in the US, and in fact I've never been to the US. > AI will lead to a much larger pie. Which will only benefit people if their piece of the pie doesn't shrink because they don't have any leverage. There is also more than one pie. The real estate pie for example won't grow, instead every piece of the pie will become even more expensive. Most people only own pieces of the pie that will decrease in value (human labour) not pieces of pies that will increase in value. [1]: https://www.nytimes.com/2026/04/30/opinion/ai-labor-work-force-silicon-valley.html https://www.nytimes.com/2026/04/30/opinion/ai-labor-work-for... [2]: https://en.wikipedia.org/wiki/Resource_curse https://en.wikipedia.org/wiki/Resource_curse