The most important clue to solving a difficult problem is knowing that somebody else has already solved it.

How does this compare to just reducing the likelihood of negative samples?

> The [goal] of machine learning research is to [do better than humans at] theorem proving, algorithmic problem solving, and drug discovery.

Naively, one of those things is not like the others.

When I run into things like this, I just stop reading. My assumption is that a keyword is being thrown in for grant purposes. Who knows what other aspects of reality have been subordinated to politics by the writer.