A mathematician is a machine for turning coffee into theorems.

• 数学家是将咖啡转换成定理的机器。