Computer assisted proofs are getting better and better and computers will play a bigger and bigger role in the future.
When things get too complicated, it sometimes makes sense to stop and wonder: Have I asked the right question?