The past is not dead; it is not even past.

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.

我们不需要魔法来改变世界，我们内心已经拥有所需的力量。

The potential of CRISPR is limited only by our imagination and our ethics.