计算的未来在于开发能够自我验证正确性的系统。

我不害怕电脑，我害怕没有他们。

Asymmetric catalysis is not just a tool, it's a way of thinking about molecular transformations.

冰和炭不能长久放在同一个容器里，寒天和暑天不会同时到来

没有什么能阻挡一个拥有正确心态的人实现目标；世界上没有什么能帮助一个心态错误的人。

未来属于那些相信自己梦想之美的人。