D-Wave quantum computer solves protein folding problem
blogs.nature.com
blogs.nature.com
> It’s also worth pointing that conventional computers could already solve these particular protein folding problems
So if one cannot already solve the problem is one capable of checking that the answer is correct with such a low probability of correctness?
It's not about where the technology currently is, but where it is going.
They certainly have some exceptional people (e.g., the "director of business development" mentioned in the post was a research assistant for Hawking (yes, that Hawking), and wrote one of the very first books on quantum computation). And, they're doing good work. It's just hard to tell how long the road is.
Now, I highly doubt the solution space is anywhere near that large. But without knowing more about it we cannot infer anything from the 13/10000 statistic presented.