优秀的数学家应该既严谨又富有想象力。