3 ms·
>When someone claims to have "solved" folding, you should be as skeptical as you would be if someone claimed to have solved the halting problem for arbitrary ma
by sebzim4500 4y ago
>When someone claims to have "solved" folding, you should be as skeptical as you would be if someone claimed to have solved the halting problem for arbitrary machine code
That's absurd. The halting problem is provably impossible with either conventional computers or Quantum computers.
This is clearly not true for protein folding, although it is possible that it is computationally intractable with a conventional computer.
- rch 4y agoI think the parent comment is saying that it's impossible to arrive at a specific folding endpoint because that state is dependent on continuously changing environmental variables. Take a look at the configs for Amber (molecular dynamics simulation -- https://ambermd.org https://ambermd.org). QC might help map the space of inputs that would converge, but it probably couldn't identify a hypothetical 'done folding' state for any given protein.