Proofs found by computer
Another famous example is Hales' proof of Kepler's conjecture which had a very large computer aided component.

From Wikipedia:


  In August 1998 Hales announced that the proof was complete. At that stage it consisted of 250 pages of notes and 3 gigabytes of computer programs, data and results.