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