translation.en: So automation allows this separation and also allows -- in the case of driving, and I believe also in the future case of maths -- a democratized way of doing that.
translation.zh: 正是自动化实现了这种区分， 不仅在驾车的例子中是这样的自动化， 因为我相信自动计算化也会在未来的数学中起同样的作用， 我们可以自主地选择怎样去做。