朗兰兹纲领是探索数学中最深刻问题的框架。

在科学中最令人兴奋的短语，预示着新发现的，不是“我发现了！”而是“这很有趣……”

You are not the opinion of somebody who doesn't know you.

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.