A computer program does what you tell it to do, not what you want it to do.
定理让我兴奋;证明让我厌倦。我的头脑不适合做那些繁琐、细致的工作,去证明我已经知道是正确的东西。