Computer-assisted proof

http://en.wikipedia.org/wiki/Computer-assisted_proof

Some mathematicians believe computer-assisted proofs are not 'real' mathematical proofs.