Take the 2-minute tour ×  There are many theorems in mathematics
that have been proved with the assistance of computers, take the
famous four color theorem for example. Such proofs are often
controversial among some mathematicians. Why is it so?  I my
opinion, shifting from manual proofs to computer-assisted proofs
is a giant leap forward for mathematics. Other fields of science
rely on it heavily. Physics experiments are simulated in
computers. Chemical reactions are simulated in supercomputers.
Even evolution can be simulated in an advanced enough computer.
All of this can help us understand these phenomena better.  But
why are mathematicians so reluctant?  share|improve this
question A proof is a social process. –  copper.hat Jan 9 at
16:12 The part of a proof you let the computer do is extremely
hard to check for correctness (except in simple cases). Software
has a pronounced tendency to have bugs. You have to check the
programme for correctness, and you have to check the compiler
for correctness. And the