有两种东西是无限的，宇宙和人类的愚蠢。

A proof that P = NP would have profound implications for mathematics, cryptography, and algorithm design.

One can't proceed from the informal to the formal by formal means.

互联网是一种共享资源，需要集体责任。