←back to thread

141 points baruchel | 1 comments | | HN request time: 0.216s | source
Show context
argomo ◴[] No.45123645[source]
Maybe the article is dumbing it down too much, but the conclusion seems unsurprising. Why shouldn't a single unknotting do double-duty in some cases?

It feels akin to the classic trick of joining a tetrahedron to a square pyramid: 4 faces + 5 faces == 5 faces total!

https://m.youtube.com/watch?v=rXIzUtLG2jE

replies(5): >>45124043 #>>45124146 #>>45125679 #>>45125739 #>>45126466 #
lifeinthevoid ◴[] No.45124043[source]
If a lot of very smart people didn’t find a single example in all the years knot theory has existed, it obviously is not that obvious.
replies(1): >>45125565 #
jxbdbdbd ◴[] No.45125565[source]
That is not necessarily true. Knot theory is quite niche, maybe nobody before tried bruteforcing counter examples
replies(2): >>45126682 #>>45127718 #
1. trueismywork ◴[] No.45127718[source]
We have huge data about knots in protein folding. Given that the proof is a counterexqmple, if it was easy, it should have been observed already in data I feel.