It's interesting to think about how much, if at all, the positive sentiments expressed here are appropriate to mathematicians. His main reason for optimism comes at the end: that now that "chiselling code by hand" is no longer necessary, "we can build amazing things". 1/3