计算机程序执行你告诉它要做的事情,而不是你希望它做的事情。
I don’t compete with anyone, I compete with myself.
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.