is that really the problem here??? i would think spotify uses its market dominance to drive down what they give back to the artists. also, evading tax is not a good idea. it's there for a reason.
> But wasn't protein folding supposed to be NP-hard?
Yeah, at least some variations of it are NP-hard. SAT is THE NP-complete problem, but there are some really good SAT solvers around. This basically means: They have a solution that mostly does very well on most instances. But because (probably) P != NP, you will never have a polynomial time algorithm for this.
The misleading part is the word "smallest". For me that means he has proven that there exists no smaller cover.
In the article, it means "smallest known".