A mathematician is a device for turning coffee into theorems.
A year spent in artificial intelligence is enough to make one believe in God.
衡量生命的尺度是思想和行为,而不是时间。