The search for reciprocity laws is a fundamental theme in the history of mathematics.
如果一个人不过高地估计自己,他就会比他自己所估计的要高得多。
Whenever you find yourself on the side of the majority, it is time to pause and reflect.
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 probably not important to mathematics.