People who think that high-level reasoning is easy compared to sensorimotor skills have successfully implemented neither and lack both.<p>-- Benjamin Franklin<p>Neural networks can be used to balance robots. They can't be used to generate Agda proofs of non-trivial theorems, or C programs that do something useful, etc.
This is a decent motivation for "manual automation". Figuring out what is a face in a picture is hard for a computer but easy for a person. Comparing that face with thousands of existing faces to eliminate 99% that aren't anywhere close to a match is easier for a computer than it is a person. Deciding if it is a true match is easier for a person than a computer.<p>There are a lot of situations that would benefit from such a workflow.