> 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.