[lifeinthevoid]

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.

[jxbdbdbd]

That is not necessarily true. Knot theory is quite niche, maybe nobody before tried bruteforcing counter examples

[trueismywork]

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.

[nyeah]

It's not necessarily true. But it's pretty likely. It's worth considering as a possibility.