When things get too complicated, it sometimes makes sense to stop and wonder: Have I asked the right question?
Bombieri's Law: of Finance: Profits are on paper, losses are in cash
Computer assisted proofs are getting better and better and computers will play a bigger and bigger role in the future.