创新不是对每件事都说“是”，而是对除最关键功能外的一切说“不”。
人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。
自然选择是残酷的。
I believe in manicures. I believe in overdressing. I believe in primping at leisure and wearing lipstick. I believe in pink. I believe that laughing is the best calorie burner. I believe in kissing, kissing a lot. I believe in being strong when everything seems to be going wrong. I believe that happy girls are the prettiest girls. I believe that tomorrow is another day and I believe in miracles.
All who joy would win must share it. Happiness was born a twin.