alt Hacker NewsNo one here actually cares about Cycle Double Cover Conjecture. I can demonstrate this by pointing out that the only time this conjecture was ever mentioned on the website was 14 years ago in a submission[1] that linked to a (now retracted) proof paper. That story received exactly zero upvotes. No one cared enough to upvote it and no one cared enough to ever mention this conjecture again.
Replies
It’s the second most important problem in all of graph theory on this database of open math problems:
https://www.openproblemgarden.org/category/graph_theory?sort...
Obviously not an exact measurement but to give you some sense of the importance of the problem
People don't talk about the cycle double cover conjecture here because this isn't a math website. Its lack of mention here is therefore poor evidence.
i care about the CDCC but every time i post about it dang removes it and bans me
We absolutely care about the implications of AI solving hard problems. I'm sure you can find thousands of posts on HN deriding AI progress the entire time, trivializing it as nothing more than a 'stochastic parrot'
yeah, I think what makes this post different was that AI did it. hopefully science will advance faster in the next decades with AI researchers helping
No one here actually cares about folding laundry. I can demonstrate it by pointing out at the absence of posts on that subject.
...but when an affordable robot that folds laundry becomes available, people here pay attention.
What does that have to do with the feat itself?
This was one of the most famous open graph theory problems lol. I am not a mathematician and even I ran into this when doing generative map design for game dev.
The only thing you've demonstrated here is some very funny confidently incorrect coping behavior.
Thanks for the fun facts? Indeed, this is not a math forum. Good morning.
> I can demonstrate this [that literally nobody cares about the CDCC here]
No, you cannot. Mindreading the readers of this site by sifting through people's comments is a barely passable proxy for this at best, especially when that audience has changed dramatically over even just those 14 years, and continues to do so.
The point of this is if AI is solving things that nobody cares about, that's the utility here. It's doing something nobody else wants to bother with
Almost sounds like they pointed a prompt at every boondocks conjecture and wrote a press release for the one it plausibly solved.
I care. I was a math student in my undergrad when I try to solve a particular problem on paths, in the end it uses a path version of cycle double cover conjecture (which was solved in the 90s).
https://chaoxu.prof/posts/2013-01-30-there-exist-a-path-of-l...
I also want to get it to work on cycles, but then I hit the cycle double cover conjecture so I gave up.