The Langlands program is a vision of how mathematics could be seen as a single, coherent whole.
动物和人类的区别在于人类能够推理,但即便如此也是不可靠的。