alt Hacker NewsWhy would I try it to win an argument on HN? That's a bizarre suggestion. Just look at the degree. If it were degree 47 in 17 variables then it wouldn't be surprising, but here it's surprising.
Of course people tried hard to solve them all, which is why it's so surprising that they were open. If anything, the solutions have gotten easier. The unit distance graph solution relied on a famous theorem remote from graph theory. The cycle double cover solution relied on a standard theory in graph theory. The solution of the Jacobian conjecture required nothing beyond knowing the definition of the Jacobian.
We're just surprisingly bad at judging the difficulty of problems. It's probably something psychological. It's even a known phenomenon, where someone will be stuck on a proof, someone else will announce the result, and the first person will suddenly get unstuck on their proof and produce an independent proof of the same theorem.
Replies
You can use that retroactive logic about any hard problem though. Unsolved murder cases, math, theoretical physics.
If tons of smart humans try for years and fail and then an LLM tries for a few weeks or hours and succeeds, the implications are clear. And these are by far the dumbest LLMs will ever be.
Sorry last comment was a bit emotional from me, but I do not think it's findable like you say--during my PhD I tried to find some ideals I knew existed in char 2 in 5 variables and low degree and I didn't think I ever got close. 3 variables, 7 degree, coefficients up to 6 is like 6^100 possibilities. You've got to narrow it down somewhat no? Even sparse is intractable I would guess.
I think the solutions which rely on the least amount of theory are the most telling of the AIs being higher in intelligence than humans today already. There's almost no theory to teach someone to understand the cycle double cover conjecture as you say, yet no one finds it. I don't think the conclusion is that it was "easy", but that it was in fact irreducibly difficult in a way that proofs developed with theory are not. Theory gives the human brain abstractions to simplify complex proofs to be understandable at our capacity--I think there are many proofs which probably are not of this form.
But I think our differences hinge on how hard we perceive these solutions to be--I think they are very hard to find!