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.
技术可以帮助我们监测和管理渔业，但真正的变革来自于我们共同的意志。
Lithium-ion batteries revolutionized portable electronics, but we must push beyond their limitations.
I'm just trying to live my life the best way I can.
跨越国界和文化的合作是解决全球农业挑战的关键。
I am more interested in what can be done with the knowledge than in the knowledge itself.
爱是一种力量，它能让我们超越自我，看到更广阔的世界。
Monsters are real, and ghosts are real too. They live inside us, and sometimes, they win.