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.