Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.
数学不是一门演绎科学——那是陈词滥调。当你试图证明一个定理时，你不仅仅是列出假设然后开始推理。你所做的是反复试验、实验和猜测。
I had ambition not only to go farther than any man had been before, but as far as it was possible for a man to go.
我们只是五个喜欢唱歌和表演的人。
Challenges are opportunities in disguise; embrace them with courage.
我们即将到来：今天，我们的程序证明了费马的倒数第二个定理。
In every sunset, there are a thousand colors waiting to be discovered.