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

These have all been stated as goals by various machine learning research efforts. And -- they're actually all examples in which a better search heuristic through an absolutely massive configuration space is helpful.

You must not end up reading much scientific literature then.

What's the issue with drug discovery? AI/ML assisted drug discovery is one of the better examples of successful AI utilization out there.

which one do you think is unlike the others?