There are rules in that you're able to create an exhaustive labeled training dataset. The rules may not be generic, but they exist through a specification by example.

Beating a human when there is no discoverability to the problem, and when building an exhaustive dataset is a problem in itself is not on the horizon yet.