Agreed. And for education purposes we obviously have to put the machine aside and learn. And when we turn on the machine we should learn to point it and guide it and understand where it takes us. And as for doing mathematics manually for enjoyment, I note that humans still play chess.
