Any hope of solving it using quantum computing?
Or look at these amazing results: https://www.math.uwaterloo.ca/tsp/star/index.html
(many people say the protein folding problem is NP-complete, but the community generally believes you can predict the folding pathways of all proteins without explicitly running such calculations).
And it's hard to overstate his caliber. For those of you who are unfamiliar with the name, Nick mentored Clifford Cocks at GCHQ and pushed him in the direction of inventing public key cryptography.