[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.