[danrisso3]

People who think that high-level reasoning is easy compared to sensorimotor skills have successfully implemented neither and lack both.

-- Benjamin Franklin

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.

[adaml_623]

Thank you I was trying to remember who said that quote ;-) ...

But seriously I'm not sure that just because checkers and various logical puzzles lend themselves to simple algorithms equates to "high-level reasoning requires very little computation"

I mean unless I've managed to miss all the AI bots sitting n the web asking me to talk. I think this might be a paradox that only existed until people thought more carefully about high level reasoning.

[mcphage]

> balance robots

Making a robot that doesn't fall down is a really low standard.