Longest mathematical proof

The longest mathematical proof is 15,000 pages long, involved more than 100 mathematicians and took 30 years just to complete it.