证明的目的是理解,而不仅仅是验证。
Some stories are better left untold.
The Langlands program is a challenge to the boundaries of mathematical knowledge.