用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
质量不仅仅是一个目标，它是一个旅程。
奥利弗·特威斯特出生在一家济贫院里，他来到这个艰难的人世的那一刻，是否能活过三分钟都是很难说的。他躺在一张小硬板床上，挣扎着开始呼吸。
故事是我们理解过去和想象未来的方式。
Modern farming challenges require solutions that are as dynamic as the climate we operate in.