我们即将到来：今天，我们的程序证明了费马的倒数第二个定理。
We are on the verge: Today our program proved Fermat's next-to-last theorem.
The artist's greatest tool is not the brush or chisel, but the mind.
我不喜欢被指挥，我喜欢自己做决定。
如果上帝要让人人都一样的话，他会给每人一双脚撑。
我们要做的是让智能化成为每个人的生活方式。