Key points are not available for this paper at this time.
Soon, computers could generate many useful hypotheses with little help from humans.
Evans et al. (Thu,) studied this question.