Back in school, what I got taught during school was labeled 'math', but it was actually 'rote arithmetics.' This seems to also be the case of many other people. Some came to hate it and never came back to the field.
Since computers are unbeatable in this field (i.e. processing a logical structure), wouldn't it be the case that teachers concentrate more and more on teaching 'real mathematics'? They could explain how this or that algorithm works but not make the pupils solve mechanically lots of problem, nor test them for their ability to solve those problems.
Is this educational chance of concentrating on formalizing problems, proofs, and mathematical thinking being grabbed or is it just wishful thinking? Have computers changed the way math is taught and learned?