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.

我想创造一种不仅仅是关于讲故事，而是关于体验的电影。

The worst pain a man can suffer is to have insight into much and power over nothing.