我们即将到来：今天，我们的程序证明了费马的倒数第二个定理。
We are on the verge: Today our program proved Fermat's next-to-last theorem.
I think it's important to be yourself and not try to be someone else.
学习的最佳方式是教授。
伟大的小说是让我们用新的眼光看世界的小说。