An interesting take on math
The talk argues math is about:
Posing the right questions
Turning the questions into maths
Computation
Verification
Computation is what computers can do more efficiently than humans. The other steps cannot be done by computers. Yet math teaching is primarily about computation.
The talk argues math education should shift focus to the parts that humans are better than computers at. They are also more useful to the average human.