I'm out of my depth here, but if protein folding is intractable like the halting problem or the traveling salesman problem, as you're making it seem, I find it

I'm out of my depth here, but if protein folding is intractable like the halting problem or the traveling salesman problem, as you're making it seem, I find it odd that I haven't read that elsewhere.