The real voyage of discovery consists not in seeking new landscapes, but in having new eyes.

我们即将到来：今天，我们的程序证明了费马的倒数第二个定理。

世界是一本书，不旅行的人只读了一页。

今天放归大海的每一条鱼都是对未来渔获的投资。

我所达到的丰富性来自自然，那是我灵感的源泉。