The article is about using computers to discover new conjectures (mathematical statements that are not yet known to be true or false). The conjecture can be then later be formally proven (or disproven) by humans.

Sounds like a good match for me. Formulating conjectures is about finding an interesting pattern and argue that this pattern holds true. Computers are getting increasingly better at pattern matching, so why not use them?