数学家的工作永远不会真正完成；总有更多的东西需要探索。
真正的领导力意味着以清晰和同理心做出艰难的决定。
Law is the union of primary and secondary rules.
The ultimate aim of artificial intelligence is to make computers do things that would require intelligence if done by humans.