Comment by nullsanity
2 months ago
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.
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.
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.
> 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?
6 replies →
This is slow?