10 ms·
No 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
by romaniv 2mo ago
No 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.
[1] https://news.ycombinator.com/item?id=3556175 https://news.ycombinator.com/item?id=3556175
- itsthecourier 2mo agoyeah, 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
- honeycrispy 2mo agoHopefully. So far it seems to be doing more harm than good.
- CaptWorld 2mo agoWhat harm? I think the major part of the US economy seems to be depending on AI.. without that, the economy seems bad..
- ai_fry_ur_brain 2mo ago[flagged]
- phoghed 2mo agoYou honestly think this wouldn’t be upvoted equally or more if a Chinese model did it?
- topaz0 2mo agoYeah
- brokencode 2mo agoThere have been multiple posts on here with 800+ upvotes in just the last few weeks for GLM 5.2. The idea that all this enthusiasm is for certain Silicon Valley billionaires and not from genuine interest in AI technology is a baffling take.
- ai_fry_ur_brain 2mo agoIm using silicon valley collequially to represent "tech", not as a google maps pin.
- brokencode 2mo agoSo what billionaire are people rooting for when a new GLM comes out? How many people do you honestly think even know who owns or leads Z.ai? I certainly don’t.
- ai_fry_ur_brain 2mo ago[dead]
- topaz0 2mo agoTo be clear, I am not agreeing that people only upvote their favorite billionaires, just that if this particular thing was done by a Chinese model it would not have gotten the same attention
- stevenhuang 2mo ago> a Chinese model it would not have gotten the same attention Well, you would be wrong.
- 2mo ago
- deleted 2mo ago[deleted]
- kristopolous 2mo agoThe 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
- bottlepalm 2mo agoWe 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'
- perching_aix 2mo agoThanks 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.
- onecomment1 2mo ago[flagged]
- fragmede 2mo agoWait, what things do we care about?
- scarmig 2mo agoTwo years from now, when a proof of the Collatz conjecture is announced and verified: "No one cares about that! What practical applications does it have? It's pretty trivial anyways. More hype from the AI psychosis crowd."
- onecomment1 2mo agoI don’t care if AI solves the collatz conjecture either, why should I? If, after stealing all human knowledge, spending $1T+ on compute, hiring the best in the world while also stalling progress in other fields by pulling funding from fundamental research is a bunch of lousy math proofs then thats terrible trade. There is an opportunity cost here. I don’t have anything against AI, and I do think it will progress a lot just like all other human endeavors. But this doomer permanent underclass humans are worthless myopic view of AI is not where its at
- whackernews 2mo agoMaterialisation?
- Sniffnoy 2mo agoPeople 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.
- mohamedkoubaa 2mo agoAlmost sounds like they pointed a prompt at every boondocks conjecture and wrote a press release for the one it plausibly solved.
- jasondigitized 2mo agoWhat does that have to do with the feat itself?
- chaoxu 2mo agoI 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-length-d-g-for-every-graph-g.html 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.
- deinonychus 2mo agoi care about the CDCC but every time i post about it dang removes it and bans me
- lquist 2mo agoIt’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=asc&order=Imp.%C2%B9 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
- nullsanity 2mo ago[dead]
- p-e-w 2mo agoDon’t bother. This is the third or fourth time AI has solved an open conjecture, and once again the comment sections everywhere are full of people explaining how this doesn’t really matter at all, how it’s an irrelevant, obscure problem, how any mediocre grad student could probably have solved it if only they had bothered to try, and how of course, human mathematicians will still be vastly superior to machines 100 years from now because they have that magic spark for which nobody can say what it supposedly consists of. These discussions have nothing to do with mathematics, and everything to do with ego and fear. I’ve never been less impressed with humans than since AI started challenging them.
- Sniffnoy 2mo agoI think "importance" here is just being rated as 1 to 4 stars. So it's not "second-most important" but rather "one of the top 5 most important". That doesn't change much, but FWIW.
- cubefox 2mo agoThis doesn't contradict anything he said though. People on HN care only because an LLM proved a very difficult conjecture, not because we are independently interested in this conjecture.
- derac 2mo agoOnly? Seems remarkable to me.
- stevenhuang 2mo agoThis 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.
- david-gpu 2mo agoNo 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.