Protein folding can't be "solved". For a small protein of 100 amino acids, there are 2^432 (20^100) possible combinations (http://xray.bmc.uu.se/~lars/biowww/Proteinfolds.html). Bitcoin's SHA256 has only 2^256 possible values. So in a practical sense protein folding is a harder problem that Bitcoin mining.