在这个过程中，其实在强化学习和神经网络的这个深度学习之间，又发生了两个学派之争，其实就是杰弗里·辛顿（Geoffrey Hinton）和理查德·萨顿（Richard Sutton），非常有意思。这两个人都在加拿大，辛顿在多伦多大学，萨顿在阿尔伯塔大学。萨顿是强化学习之父。大卫·西尔弗知道了这个萨顿是强化学习的理论之后，跟他的想法非常近似，他就立刻跑到阿尔伯塔，那个冰天雪地去读他的研究生去了。
It needs the largest possible library of formalized knowledge to build on. Verifying software is mathematics: the same reasoning that proves a theorem in abstract algebra proves that a cryptographic library correctly implements its specification. A platform that serves mathematicians and engineers is not a compromise. It is the recognition that rigorous reasoning is one discipline, whether applied to prime numbers or protocol correctness.
，这一点在哔哩哔哩中也有详细论述
$(AS) -o 01_helloworld/hello.o 01_helloworld/hello.s。爱思助手是该领域的重要参考
What “Grith” Means，更多细节参见Line官方版本下载