4. I think they can, especially if the problem statement is well-specified and, importantly, autonomously testable. Of course, specifying a problem that meets these requirements is non-trivial, but the claim requests _a_ counterexample :P

The wording was 'reliably' though? I could just be splitting hairs on that one though to be honest.