—— 请按键盘 空白键 开始游戏 ——

"I’m a firm believer in the theory that you only play your best when you’re having fun."
The question of technology is the question of the constellation of truth and untruth in which we live.
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.