Computer assisted proofs are getting better and better and computers will play a bigger and bigger role in the future..

Bombieri's Law: of Finance: Profits are on paper, losses are in cash.

When things get too complicated, it sometimes makes sense to stop and wonder: Have I asked the right question?.