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

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.

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